Initial (GitHub) release of the dsharp compiler.
What's Changed
- fix OR node choice variables by @symphorien in #10
- 11 unsat fixes by @haz in #13
- report the correct number of variables in unsat nnf by @symphorien in #14
- Changed DIMAC cnf file parsing by @VincentDerk in #16
- Port code to windows + mac by @VincentDerk in #17
- DSHARP static compilation by @mahi045 in #18
- Fixed SIGSEGV bug on MacOS, added CI/CD building for all platforms. by @rmanhaeve in #21
New Contributors
- @symphorien made their first contribution in #10
- @haz made their first contribution in #13
- @VincentDerk made their first contribution in #16
- @mahi045 made their first contribution in #18
- @rmanhaeve made their first contribution in #21
Full Changelog: https://github.com/QuMuLab/dsharp/commits/v0.1.0
Contributors
haz, VincentDerk, and 3 other contributors