https://github.com/hriener/ctlsat

CTLSAT, a decision procedure for CTL
https://github.com/hriener/ctlsat

Last synced: 3 months ago
JSON representation

CTLSAT, a decision procedure for CTL

• Host: GitHub
• URL: https://github.com/hriener/ctlsat
• Owner: hriener
• License: mit
• Created: 2018-04-06T12:59:55.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2018-04-06T13:09:45.000Z (about 7 years ago)
• Last Synced: 2025-02-03T21:54:02.644Z (4 months ago)
• Language: C++
• Size: 17.6 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# ctlsat

`ctlsat` is a clone of Nicola Prezza's ctlsat (https://github.com/nicolaprezza/CTLSAT) with a sligtly nicer CMake-based build system.