Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/lip6/cosy
cosy esbp sat sat-solver satisfiability sbp symmetry symmetry-breaking symmetry-reduction
Last synced: about 2 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/lip6/cosy
- Owner: lip6
- License: other
- Created: 2017-10-13T15:47:40.000Z (about 7 years ago)
- Default Branch: master
- Last Pushed: 2021-03-23T16:02:32.000Z (almost 4 years ago)
- Last Synced: 2023-08-10T20:27:42.163Z (over 1 year ago)
- Topics: cosy, esbp, sat, sat-solver, satisfiability, sbp, symmetry, symmetry-breaking, symmetry-reduction
- Language: C++
- Size: 2.54 MB
- Stars: 4
- Watchers: 6
- Forks: 0
- Open Issues: 0