Solomon

Description

Solomon is an automated theorem validator which uses a modification of the Davis Putnam algorithm to check for validity of provided statements. Statements are provided in a Lisp like format, either from a file or from the command line to the read-eval loop.

Solomon Online

• Solomon Online - An online interface to Solomon. The Solomon Online interface has been removed as of January 4, 2009.

Code

• 0.0.3 - May 20, 2003 - Current
• 0.0.4 - Some semantic changes I've wanted to make for a while.
• 0.0.2 - April 29, 2003 - Code structure is more consistent and adds some typedefs to clear up some long types and those that are too hard coded and inflexible. More optimizations now work.
• 0.0.1 - The first. Some optimizations don't really work, and parts of the code are messier than I'd like.

Miscellaneous

Why Solomon? God gave Solomon knowledge and understanding:

Behold, I have given you a wise and discerning heart, so that there has been no one like you before you, nor shall one like you arise after you. (1 Kings 3:12) .