This is the system that handles ONLY multi-valued propositional formulas written with operators -> , <- , <-> , & , | , not.
Building the compiler will require flex and bison and a c++ compiler (g++ used in the current build script).
For computing the theories when compiled into predicate SM, the run script uses the following software: f2lp gringo clasp as2transitions.