Projects / logictree

logictree

logictree solves propositional formulas and tries to solve predicate formulas, using semantic tableaux.

Licenses
Implementation
Screenshot

Project Spotlight

OpenStack4j

A Fluent OpenStack client API for Java.

Screenshot

Project Spotlight

TurnKey TWiki Appliance

A TWiki appliance that is easy to use and lightweight.