meelgroup / manthan

Manthan for Boolean function synthesis

meelgroup/manthan Issues

Hitting a number of issues while attempting to use the sytem
Closed 8 months ago2
Insufficient/incomplete instructions in open-wbo README
Closed a year ago3
Error when compiling ABC dependency
Closed a year ago2
Issues with building Unique
Closed a year ago2
Users should be instructed to create a virtenv for python
Closed a year ago2
Syntax error when all Y variables are either unate or unique
Closed a year ago3
Index Error when playing with some simple examples
Closed 3 years ago4
What's the meaning of calling it manthan
Closed 4 years ago1