https://github.com/mateusz-grzelinski/sat-research

master repo for logic formula generation

benchmark first-order-logic generator inkresat proover9 sat spass temporal-logic

Last synced: 16 Mar 2025