10 anni fa · d7161531b2
--- a/rust/dpll/.gitignore
+++ b/rust/dpll/.gitignore
@ -0,0 +1 @@
 
														/target
													
--- a/rust/dpll/Cargo.lock
+++ b/rust/dpll/Cargo.lock
@ -0,0 +1,4 @@
 
														[root]
													
 
														name = "cnf"
													
 
														version = "0.1.0"
													
 
														
													
--- a/rust/dpll/Cargo.toml
+++ b/rust/dpll/Cargo.toml
@ -0,0 +1,4 @@
 
														[package]
													
 
														name = "cnf"
													
 
														version = "0.1.0"
													
 
														authors = ["Lucas Stadler <lu@papill0n.org>"]
													
--- a/rust/dpll/src/main.rs
+++ b/rust/dpll/src/main.rs