12 Search Results
archsat
A first-order theorem prover with formal proof output
1.1
BSD-2-Clause
Used by 0 other packages
dolmen_loop
A tool library for automated deduction tools
0.7
BSD-2-Clause
Used by 4 other packages