https://github.com/jaxan/satuio
Using SAT solvers to construct UIOs and ADSs
https://github.com/jaxan/satuio
finite-state-machine sat-solver testing-tools
Last synced: 17 days ago
JSON representation
Using SAT solvers to construct UIOs and ADSs
- Host: GitHub
- URL: https://github.com/jaxan/satuio
- Owner: Jaxan
- Created: 2022-01-17T07:48:54.000Z (over 3 years ago)
- Default Branch: main
- Last Pushed: 2022-04-11T12:35:59.000Z (about 3 years ago)
- Last Synced: 2025-04-06T09:03:54.399Z (21 days ago)
- Topics: finite-state-machine, sat-solver, testing-tools
- Language: Python
- Homepage:
- Size: 234 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0