se-buw / fm-playground Star 5 Code Issues Pull requests Discussions A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra z3 formal-methods alloy sat-solver spectra smt2 smt-solver smv nuxmv alloy-analyzer limboole spectra-synthesizer syntech Updated Jul 26, 2024 JavaScript