From c132b2b7cf35a0ce4af76e9ef4d6268c0c4af194 Mon Sep 17 00:00:00 2001 From: Felix Date: Mon, 30 Oct 2023 17:51:05 +0000 Subject: [PATCH] Add parsers directory --- Cargo.lock | 9 +++++++++ Cargo.toml | 3 +++ src/common/mod.rs | 1 + src/common/parse/json.rs | 1 + src/common/parse/mod.rs | 1 + src/lib.rs | 2 +- 6 files changed, 16 insertions(+), 1 deletion(-) create mode 100644 src/common/parse/json.rs create mode 100644 src/common/parse/mod.rs diff --git a/Cargo.lock b/Cargo.lock index 5c8c202fb7..43ee14c7fb 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -115,6 +115,9 @@ dependencies = [ [[package]] name = "conjure-oxide" version = "0.0.1" +dependencies = [ + "json", +] [[package]] name = "derive-try-from-primitive" @@ -167,6 +170,12 @@ dependencies = [ "libc", ] +[[package]] +name = "json" +version = "0.12.4" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "078e285eafdfb6c4b434e0d31e8cfcb5115b651496faca5749b88fafd4f23bfd" + [[package]] name = "kissat-rs" version = "0.1.1" diff --git a/Cargo.toml b/Cargo.toml index e1f11f2d55..6337d602d7 100644 --- 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 index 851c0bc27f..2c14b33300 100644 --- 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 new file mode 100644 index 0000000000..1128d8be6a --- /dev/null +++ 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 new file mode 100644 index 0000000000..22fdbb38c8 --- /dev/null +++ b/src/common/parse/mod.rs @@ -0,0 +1 @@ +pub mod json; diff --git a/src/lib.rs b/src/lib.rs index 281bb506a1..598ae17e54 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -1,2 +1,2 @@ mod common; -pub use common::ast; +pub use common::*;