Skip to content

Releases: SoftVarE-Group/d4v2

2.0.0

03 Dec 11:09
Compare
Choose a tag to compare

Initial release of our d4 variant using Mt-KaHyPar and supporting projected d-DNNF compilation.