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
+ 369
− 77
Compare changes
  • Side-by-side
  • Inline
Files
12
project1/bin/dune
+ 1
− 1
(executable
(public_name project1)
(name main)
(libraries dolmen))
(libraries dolmen lib))