https://github.com/sksat/libsksat

my library
https://github.com/sksat/libsksat

Last synced: about 1 month ago
JSON representation

my library

• Host: GitHub
• URL: https://github.com/sksat/libsksat
• Owner: sksat
• License: mit
• Created: 2017-07-27T01:29:04.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2018-02-14T14:44:53.000Z (over 6 years ago)
• Last Synced: 2024-05-01T16:21:44.049Z (6 months ago)
• Language: C++
• Homepage: https://github.com/sk2sat/libsksat/wiki
• Size: 64.5 KB
• Stars: 4
• Watchers: 0
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project