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
12 files
+ 631
− 89
Compare changes
  • Side-by-side
  • Inline
Files
12
project1/bin/dune
+ 4
− 1
(executable
(public_name project1)
(name main)
(libraries dolmen))
(libraries dolmen lib))
(env
(dev
(flags (:standard -w -8))))