Objects for logics and SAT solvers

This package contains the following objects:

• Logic: a class for representing logic objects
• Solvers: a class for representing SAT solvers
• ColoredLogic: a class for representing colored logic objects
• Interpolants: a class for representing interpolants
• AigerCircuit: a class for representing AIGER circuits and their transitionssystem in CNF Logic

Install with: pip install git+ssh://[email protected]/IlijaVorontsov/sat-logic.git