JMSS is a minimal zero-dependency efficient SAT solver.
This work is based on the system defined by Sava Krstic and Amit Goel, 'Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL' (2007).
Download a runnable JAR form a tagged release.
Execute
java -jar jmss-1.0.0.jar
for console help and usable modules.
If jmss-exporter is used instead of the jmss runnable jar, then metrics are exported at port 8004.
These metrics can be used with the provided Prometheus and Grafana Docker setup:
