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

Removed Expr module from msat lib

Browse source
This commit is contained in:
Guillaume Bury 2016-09-12 17:54:10 +02:00
parent a0d8bd5457
commit 4522aa3ddc
2 changed files with 0 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
_tags
View file

@ -20,10 +20,6 @@ true: inline(100), optimize(3), unbox_closures, unbox_closures_factor(20)
<src/backend/*.cmx>: for-pack(Msat) <src/backend/*.cmx>: for-pack(Msat)
<src/util/*.cmx>: for-pack(Msat) <src/util/*.cmx>: for-pack(Msat)
<src/sat/*.cmx>: for-pack(Msat_sat)
<src/smt/*.cmx>: for-pack(Msat_smt)
<src/mcsat/*.cmx>: for-pack(Msat_mcsat)
# Testing dependencies # Testing dependencies
<src/main.*>: package(dolmen) <src/main.*>: package(dolmen)
<src/util/type.*>: package(dolmen) <src/util/type.*>: package(dolmen)

1
src/msat.mlpack
View file

@ -25,5 +25,4 @@ Dot
Dedukti Dedukti
# Auxiliary modules # Auxiliary modules
Expr
Tseitin Tseitin