Predicate logic

Solvers and utilities

We plan to add educational solvers and tools for first order predicate logic in the future.

Meanwhile we recommend these options for learning and for experimenting with general-purpose predicate logic solvers: Several specialized categories of predicate logic solvers exist in addition to the general-purpose solvers mentioned above. Some of the categories are: