ChangeDetection - Change Log: MiniSat Page

MiniSat Page

Current status: normal - monitoring
Number of users monitoring this page: 1
Most recent sizable change (text, html) : 2010-07-11 08:20
Most recent change (text, html) : 2010-07-11 08:20
Last checked for changes: 2012-05-25 11:38
ChangeDetection started monitoring: 2008-09-10 07:27

monitor this page

summary of most recent changes

Showing 1 - 1 of 1

[refresh]

show added and deleted only added only deleted | show context hide context | show sizable show all

View changes: 2010-07-11 08:20 46 new words, 0 deleted words, 6% change

... . Source code... minisat-2.2.0.tar.gz - The first public release after a period of inactivity. Similar in performance to the version that won in SAT-Race 2008 but with some clean-ups and minor feature additions. For more info, see the release notes . minisat2-070721.zip . Source code... minisat-2.2.0.tar.gz - The first public release after a period of inactivity. Similar in performance to the version that won in SAT-Race 2008 but with some clean-ups and minor feature additions. For more info, see the release notes . minisat2-070721.zip . Source code... ... minisat2-070721.zip

link to this change log

Changes to the page minisat.se/MiniSat.html are logged on this page as they are detected. You can link to this log by pasting the HTML below into your page. It produces a link which looks like this: change log

MiniSat Page

monitor this page

summary of most recent changes

link to this change log

log in

search