Releases: JackHack96/logic-synthesis
Releases · JackHack96/logic-synthesis
Release list
SIS 1.4
Final release of SIS 1.4
WARNING: it appears that there's a bug with espresso package shipping with SIS not correctly working. To solve this, you can download the standalone espresso version and substitute the binary manually.
There are also other sub-commands that do not work properly such as state_assign jedi (in general, commands that rely on other binaries).
Espresso
MVSIS
Latest release of MVSIS, alias the multi-value logic synthesis tool
Balm
Latest release of BALM, language equation solver
SIS 1.3.6
This is the last release of UC Berkely SIS logic sythesis tool