Skip to content
Snippets Groups Projects

Resolve "add horn sat algorithm"

Merged Resolve "add horn sat algorithm"
5-add-horn-sat-algorithm into main
Merged aalbert requested to merge 5-add-horn-sat-algorithm into main
Compare
and
Show latest version
5 files
+ 209
− 52
Compare changes
  • Side-by-side
  • Inline
Files
5
project1/bin/dune
+ 3
− 0
@@ -2,3 +2,6 @@
(public_name project1)
(name main)
(libraries dolmen lib))
(env
(dev
(flags (:standard -w -8))))