Revision history [back]

I am currently working on packaging cryptominisat 5.0.1, i hope to finish it during the Sage Days 86 to be held next week. However, many things changed, not only in the packaging (e.g. dependency on cmake) but there will be also some work in the interfacing with Sage, since cryptominisat now offers its own Python bindings, while Sage has its own cython interface (which does not work with cryptominisat 5). I was thinking of doing that for a while since cryptominisat 2.9.6 does not work on 32bit architecture.

See trac ticket 22817 and trac ticket 22817.

I am currently working on packaging cryptominisat 5.0.1, i hope to finish it during the Sage Days 86 to be held next week. However, many things changed, not only in the packaging (e.g. dependency on cmake) but there will be also some work in the interfacing with Sage, since cryptominisat now offers its own Python bindings, while Sage has its own cython interface (which does not work with cryptominisat 5). I was thinking of doing that for a while since cryptominisat 2.9.6 does not work on 32bit architecture.

See trac ticket 22817 and trac ticket 2281722818.