11 Search Results
dolmen_loop
A tool library for automated deduction tools
0.8
BSD-2-Clause
Used by 3 other packages