Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

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

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

Last synced: about 2 months ago
JSON representation

master repo for logic formula generation

Host: GitHub
URL: https://github.com/mateusz-grzelinski/sat-research
Owner: Mateusz-Grzelinski
Created: 2020-02-19T19:32:04.000Z (almost 5 years ago)
Default Branch: master
Last Pushed: 2021-03-29T21:31:37.000Z (almost 4 years ago)
Last Synced: 2024-04-28T04:29:08.906Z (9 months ago)
Topics: benchmark, first-order-logic, generator, inkresat, proover9, sat, spass, temporal-logic
Language: Python
Homepage:
Size: 511 KB
Stars: 0
Watchers: 2
Forks: 0
Open Issues: 0