A tool that uses Z3Py Prover to check for satisfiability of Linear Temporal Logic (LTL) by converting a given LTL3 formula into Satisfiability Modulo Theory (SMT) constraints.
a-n-i-k / ltl3_solver Goto Github PK
View Code? Open in Web Editor NEWA tool that uses Z3Py Prover to check for satisfiability of Linear Temporal Logic (LTL) by converting a given LTL3 formula into Satisfiability Modulo Theory (SMT) constraints.
License: Eclipse Public License 2.0