update artifact

Tractables · Dec 9, 2020 · 1cd3fda · 1cd3fda
1 parent a231609
commit 1cd3fda
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/Artifacts.toml b/Artifacts.toml
@@ -7,10 +7,10 @@ lazy = true
     sha256 = "5d66a95037e44010502ad28ec8d6dc26f46947dc88e962633b7de54e614b1a47"
 
 [circuit_model_zoo]
-git-tree-sha1 = "6a80001f3f4f9c41eb9ce4b63caf9555e08265de"
+git-tree-sha1 = "49e3a134c68acbcd87075dee811aff997c29cad2"
 lazy = true
 
  [[circuit_model_zoo.download]]
-    url = "https://github.com/UCLA-StarAI/Circuit-Model-Zoo/archive/v0.1.2.tar.gz"
-    sha256 = "e9710a8edd63a7f51dcb10b076f331e71eb5f34e0c878d8687f4e86b9df3249a"
+    url = "https://github.com/UCLA-StarAI/Circuit-Model-Zoo/archive/v0.1.3.tar.gz"
+    sha256 = "537d4d414b8955e8f9b64e4e3aaf5382889a6901c5e24aa9bc8bc2fbea51dc4f"
 
diff --git a/src/LoadSave/circuit_loaders.jl b/src/LoadSave/circuit_loaders.jl
@@ -17,7 +17,7 @@ export zoo_cnf,
 # loaders from model zoo
 #####################
 
-const zoo_version = "/Circuit-Model-Zoo-0.1.2"
+const zoo_version = "/Circuit-Model-Zoo-0.1.3"
 
 zoo_cnf(name) = 
     load_cnf(zoo_cnf_file(name))