Initial Release

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