@educorvi/rita-smt (npm): A module to test satisfiability of Rita rule sets.
Keywords: rules|typescript