/symbolic-logic-solver

Generates a step-by-step proof to show that a list of assumptions entails a conclusion

Primary LanguageClojureEclipse Public License 1.0EPL-1.0

symbolic-logic-solver

FIXME: description

Installation

Download from http://example.com/FIXME.

Usage

FIXME: explanation

$ java -jar symbolic-logic-solver-0.1.0-standalone.jar [args]

Options

FIXME: listing of options this app accepts.

Examples

...

Bugs

...

Any Other Sections

That You Think

Might be Useful

License

Copyright © 2016 FIXME

Distributed under the Eclipse Public License either version 1.0 or (at your option) any later version.