SAT4J | |
H1 tags : October 2011: Sat4j 2.3.1 released; March 2011: Sat4j 2.3.0 released; October 2010: SAT4J 2.2.2 released; May 2009: SAT4J 2.1 released; March 24, 2009: Millions of SAT4J users worldwide?; March 13, 2009: Eclipse 3.5 M6 ships with improved explanation support!; June 25, 2008: Eclipse 3.4/Ganymede available! ships with SAT4J; SAT4J 2.0 drives Eclipse new update manager (Equinox P2); March 2008: license changes |
Last Update : | 31/December/2011 |
Google PR : | N/A |
Internal links : | 8 |
External links : | 50 |
Archive : | Check how did the site look in the past? |