GitHub / Vectorized / CECSATSolver
CEC-SAT verification software for ISTD 2D Design Challenge
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Vectorized%2FCECSATSolver
Stars: 1
Forks: 0
Open issues: 0
License: None
Language: Java
Size: 4.17 MB
Dependencies parsed at: Pending
Created at: over 11 years ago
Updated at: about 1 year ago
Pushed at: over 11 years ago
Last synced at: 5 days ago
Funding Links https://github.com/sponsors/Vectorized
Loading...