simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-07 19:55:41 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix: msat.tseitin depends on msat

Browse source
This commit is contained in:
Simon Cruanes 2019-02-02 19:10:17 -06:00 • committed by Guillaume Bury
parent 75476b8dd7
commit c376f1d763
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/tseitin/dune
View file

@ -3,6 +3,7 @@
(name msat_tseitin)
(public_name msat.tseitin)
(synopsis "Tseitin transformation for msat")
(libraries msat)
(flags :standard -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string)
(ocamlopt_flags :standard -O3 -bin-annot
-unbox-closures -unbox-closures-factor 20)