We help to study logic solvers by providing and collecting various
and continuing with predicate logic later.
The focus is on simplicity, ease of use, hacking and experimenting,
not state of the art efficiency-wise.
Help and cooperation appreciated for improving the current code, writing and proposing new tools, etc.
See the github page
Site, initial solvers and utilities written by Tanel Tammet (tanel.tammet at gmail.com)