| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | CMakeLists.txt | 705 | logplain |
| -rw-r--r-- | README.md | 988 | logplain |
| -rw-r--r-- | drat_test.plf | 13095 | logplain |
| -rw-r--r-- | er_test.plf | 3668 | logplain |
| -rw-r--r-- | ex-mem.plf | 1477 | logplain |
| -rw-r--r-- | ex_bv.plf | 1668 | logplain |
| -rw-r--r-- | example-arrays.plf | 3598 | logplain |
| -rw-r--r-- | example-quant.plf | 1899 | logplain |
| -rw-r--r-- | example.plf | 2531 | logplain |
| -rw-r--r-- | lrat_test.plf | 28648 | logplain |
| -rwxr-xr-x | run_test.py | 4071 | logplain |
| -rw-r--r-- | th_lira_test.plf | 8976 | logplain |
 |
index : cvc5.git | |
| CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. | git repository hosting |
| summaryrefslogtreecommitdiff |
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback