/logic-translation

Translation from FOL to LTL+Past and LTL, via separation of LTL+Past

Primary LanguageHaskellGNU Lesser General Public License v3.0LGPL-3.0

No issues in this repository yet.