[]
= "debug_sat"
= "0.4.0"
= ["Sven Nilsen <bvssvni@gmail.com>"]
= ["sat", "debug", "automated", "theorem", "proving"]
= "A debuggable automatic theorem prover for boolean satisfiability problems (SAT)."
= "MIT"
= "https://github.com/advancedresearch/debug_sat.git"
= "https://github.com/advancedresearch/debug_sat"
= "https://docs.rs/debug_sat"
= "README.md"
[]