Tobias issues

Repositories
Issues
Comments

Results 2 issues of


                                            Tobias

Skipping variable indices heavily impacts performance

I iteratively added clauses to an initially empty formula to be sat-solved with glucose3. For convenience, I translated between my 2D problem and the variable indices by multiplying the first...

enhancement

pip install py-desume doesn't work on Windows

Latest version of pip 20.3.3 Python 3.7.9 Windows 10 pip install py-desume, it says: ERROR: Could not find a version that satisfies the requirement py-desmume ERROR: No matching distribution found...