Skip to content

Releases: GJDuck/SMCHR

SMCHR-2.1-dev

19 Jul 01:37
@GJDuck GJDuck
2.1-dev
d312e8b
Compare
Choose a tag to compare
SMCHR-2.1-dev Latest
Latest

The SMCHR (Satisfiability Modulo Constraint Handling Rules) System 2.1-dev (Linux)

Assets 3
Loading

SMCHR-2.0-dev

19 Aug 06:35
@GJDuck GJDuck
2.0-dev
54d8629
Compare
Choose a tag to compare
SMCHR-2.0-dev

The SMCHR (Satisfiability Modulo Constraint Handling Rules) System 2.0-dev

Assets 4
Loading