Add parsers directory

conjure-cp · Oct 30, 2023 · c132b2b · c132b2b
1 parent 0606264
commit c132b2b
Show file tree

Hide file tree

Showing 6 changed files with 16 additions and 1 deletion.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -6,3 +6,6 @@ edition = "2021"
 [workspace]
 members = ["solvers/kissat", "solvers/minion", "solvers/chuffed"]
 exclude = []
+
+[dependencies]
+json = "0.12.4"
diff --git a/src/common/mod.rs b/src/common/mod.rs
@@ -1 +1,2 @@
 pub mod ast;
+pub mod parse;
diff --git a/src/common/parse/json.rs b/src/common/parse/json.rs
@@ -0,0 +1 @@
+use json::JsonValue;
diff --git a/src/common/parse/mod.rs b/src/common/parse/mod.rs
@@ -0,0 +1 @@
+pub mod json;
diff --git a/src/lib.rs b/src/lib.rs
@@ -1,2 +1,2 @@
 mod common;
-pub use common::ast;
+pub use common::*;