picosat
SAT solver with proof and core support

news RSS

• [2021-03-03] picosat 965-2 MIGRATED to testing (Britney)
• [2021-02-21] Accepted 965-2 in unstable (medium) (Debian FTP Masters)
• [2019-08-25] picosat 965-1 MIGRATED to testing (Britney)
• [2019-08-20] Accepted 965-1 in unstable (medium) (Andreas Tille)
• [2014-11-21] picosat 960-1 MIGRATED to testing (Britney)
• [2014-11-08] Accepted 960-1 in unstable (low) (Michael Tautschnig)
• [2014-07-09] picosat 959-1 MIGRATED to testing (Britney)
• [2014-06-28] Accepted 959-1 in unstable (low) (Michael Tautschnig)
• [2013-05-05] picosat 954-1 MIGRATED to testing (Britney)
• [2012-12-20] Accepted 954-1 in unstable (low) (Michael Tautschnig)
• [2012-12-02] Accepted 953-2 in unstable (low) (Michael Tautschnig)
• [2012-12-02] Accepted 953-1 in unstable (low) (Michael Tautschnig)
• [2012-03-14] picosat 936-4 MIGRATED to testing (Britney)
• [2012-03-03] Accepted 936-4 in unstable (low) (Michael Tautschnig)
• [2011-08-20] picosat 936-3 MIGRATED to testing (Britney)
• [2011-08-09] Accepted 936-3 in unstable (low) (Michael Tautschnig)
• [2011-04-09] picosat 936-2 MIGRATED to testing (Britney)
• [2011-03-29] Accepted 936-2 in unstable (low) (Michael Tautschnig)
• [2011-02-06] picosat 936-1 MIGRATED to testing (Britney)
• [2010-08-16] Accepted 936-1 in unstable (low) (Michael Tautschnig)
• [2010-04-23] picosat 913-4 MIGRATED to testing (Britney)
• [2010-04-04] Accepted 913-4 in unstable (low) (Michael Tautschnig)
• [2010-04-04] Accepted 913-3 in unstable (low) (Michael Tautschnig)
• [2010-03-06] picosat 913-2 MIGRATED to testing (Britney)
• [2010-02-05] Accepted 913-2 in unstable (low) (Michael Tautschnig)
• [2009-11-22] picosat 913-1 MIGRATED to testing (Britney)
• [2009-11-02] Accepted 913-1 in unstable (low) (Michael Tautschnig)
• [2009-02-16] picosat 846-1 MIGRATED to testing (Britney)
• [2008-09-30] Accepted 846-1 in unstable (low) (Michael Tautschnig)
• [2008-06-26] picosat 632-1 MIGRATED to testing (Britney)