/aima-propositional-logic

Fork of the propositional logic AIMA Java code

Primary LanguageJavaMIT LicenseMIT

aima-propositional-logic

This is a fork of the AIMA Java code. It only exists so I can improve the usability of the aima.core.logic.propositional package.

Everything not related to propositional logic has been removed.