Merge pull request #82 from conjure-cp/revert-81-issue-73

Revert "Initial implementation for the CNF format"
conjure-cp · Nov 18, 2023 · 0f5ff49 · 0f5ff49
2 parents 5e68594 + a02107c
commit 0f5ff49
Show file tree

Hide file tree

Showing 6 changed files with 0 additions and 117 deletions.
diff --git a/conjure_oxide/src/ast.rs b/conjure_oxide/src/ast.rs
@@ -45,6 +45,4 @@ pub enum Expression {
  Sum(Vec<Expression>),
  Eq(Box<Expression>, Box<Expression>),
  Geq(Box<Expression>, Box<Expression>),
- Not(Box<Expression>),
- Or(Vec<Expression>),
 }
diff --git a/conjure_oxide/src/lib.rs b/conjure_oxide/src/lib.rs
@@ -1,2 +1 @@
 pub mod ast;
-mod solvers;
diff --git a/conjure_oxide/src/solvers/kissat.rs b/conjure_oxide/src/solvers/kissat.rs
diff --git a/conjure_oxide/src/solvers/mod.rs b/conjure_oxide/src/solvers/mod.rs
diff --git a/solvers/chuffed/libwrapper.a b/solvers/chuffed/libwrapper.a
diff --git a/solvers/chuffed/wrapper.o b/solvers/chuffed/wrapper.o