This website requires JavaScript.
Explore
Help
Sign In
ada
/
cvc5
Watch
0
Star
0
Fork
0
You've already forked cvc5
mirror of
https://github.com/AdaCore/cvc5.git
synced
2026-02-12 12:32:16 -08:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
24.0
Add File
New File
Upload File
Apply Patch
cvc5
/
test
/
unit
/
preprocessing
History
Andrew Reynolds
101dec8720
Minor simplification to solver engine interface (
#9138
)
...
Also removes spurious includes of solver_engine.h
2022-09-26 16:59:31 +00:00
..
CMakeLists.txt
Update copyright headers for release 1.0 (
#8539
)
2022-04-05 20:38:57 +00:00
pass_bv_gauss_white.cpp
Minor simplification to solver engine interface (
#9138
)
2022-09-26 16:59:31 +00:00
pass_foreign_theory_rewrite_white.cpp
Final preparation for CONST_INTEGER (
#8700
)
2022-05-02 21:36:33 -05:00
