Skip to content
GitLab
Explore
Sign in
Jonas Bollgrün
sat4j
Repository
Branches
Overview
Active
Stale
All
REDUCED_CORE_PACKAGES
40db9f01
·
Added a static method to access the default solver.
·
Nov 11, 2010
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2_2_0
1c188c2d
·
creating the tag for 2.2.0 official release.
·
Jun 23, 2010
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ECLIPSE_3_6
b74c0c59
·
Tagging the code that will ship in Eclipse 3.6 (Helios).
·
Jun 11, 2010
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
THREE_ZERO
a7da92b3
·
Now register blocking clauses, else those clauses will be forgotten after restarting.
·
May 09, 2010
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2_1_1
66c436b3
·
2.1.1 release that should ship with Eclipse 3.5.2.
·
Oct 18, 2009
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2_1_FINAL
d26ae525
·
create a tag for 2.1 final released with Eclipse.
·
Jul 29, 2009
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2_1_0_ECLIPSE
822b7e9d
·
Final release of SAT4J 2.1 that will ship with Eclipse 3.5
·
May 25, 2009
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2_1_0_RC_4
47946ef0
·
RC4 release, for Eclipse 3.5 M7, PB09 and MAXSAT09.
·
Apr 25, 2009
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2_1_0_RC2
74bdcb32
·
Tag for release 2.1.0 RC2
·
Mar 12, 2009
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2_1_0_RC1
a71f3757
·
Tagged release 2.1.0 RC1
·
Mar 02, 2009
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2_0_5
b96f3a1d
·
dded missing copyright headers (still spotted by Michael).
·
Jan 31, 2009
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2_0_4
d61dbfe4
·
Fixed default target.
·
Dec 24, 2008
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2_0_3
e0f760fa
·
Fixed SVN url.
·
Oct 21, 2008
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2_0_2_FIXED
44328623
·
Yet another @Override problem.
·
Aug 06, 2008
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2_0_2
6b76a8a2
·
Tag for release 2.0.2.
·
Aug 05, 2008
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
PROOF_LOGGING
f5721b64
·
·
Jul 07, 2008
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2_0_1
6a2af128
·
Creating tag for 2.0.1 release.
·
Jun 21, 2008
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
Next