Revert "Initial implementation for the CNF format"

conjure-cp · Nov 18, 2023 · a02107c · a02107c
1 parent 5e68594
commit a02107c
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