Minisat 2. It should work in Windows 2K and more recent versions. So I am moving it for here and replicating the emails sent to the Minisat list, two years ago in March , with the relevant information.
I hope it still is useful for some people. I haven't used minisat since then, so the version 2. Rob Rutenbar where we are using minisat. I saw that the Windows binary provided at minisat site is a bit outdated v. I compiled also in a Linux box and the limits given in "minisat --help" are equal to those in the windows binaries. I checked a couple of small examples and they seemed to work well, but I didn't test extensively didn't found many examples, but I didn't google too much I posted an announce and a public link to the binary at the CAD course forums, which I copy below you probably cannot access the forums.
If you can point to me some more examples suitable to do testing, I'll be glad to do it. It you want to post the link in the minisat page supposing the binaries work well , that would also be nice. The link I give is from an anonymous "warehouse" -- Keepandshare. The archives can be browsed here. The source code repository for MiniSat 2. A paper on how to compute localization abstractions using the incremental interface of MiniSat. View this as an example of a non-trivial incremental SAT application.
For more info, see the release notes. MiniSat v. Bug-fix to the C-version of MiniSat. Removed version 1. It was an intermediate version that apperently was buggy. Pre-compiled binaries The first public release after a period of inactivity. This is the first release of MiniSat 2 , featuring variable elimination style simplification natively. The cleaned-up verison of "v1. Proof-logging version. This version still supports non-clausal constraints.
This archive contains the SAT competition version. A patch for MiniSat v1.
0コメント