Skip to content
GitLab
Explore
Sign in
SAT4J
sat4j
Repository
Branches
Overview
Active
Stale
All
cherry-pick-5d0a981f
7f0dcd16
·
Add missing import statements.
·
Aug 23, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
KTH
protected
1bdf238a
·
Solve compilation problem.
·
Mar 26, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
BRESIL
protected
06b5a5d6
·
Implement toString(VarMapper)
·
Nov 29, 2013
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2_3_5
protected
170d1dcf
·
making source code of Sat4j 2.3.5 visible to the outside world.
·
May 28, 2013
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
SAT107FIX
protected
b24174c8
·
Added fix for SAT-107. Updated version number to 2.3.5
·
May 28, 2013
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2_3_4
protected
e99c3f26
·
[maven-release-plugin] copy for tag org.ow2.sat4j.pom-2.3.4
·
Apr 19, 2013
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2_3_3
protected
2026be80
·
[maven-release-plugin] copy for tag org.sat4j.pom-2.3.3
·
Feb 09, 2013
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2_3_2
protected
72658773
·
[maven-release-plugin] copy for tag org.sat4j.pom-2.3.2
·
Jul 09, 2012
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2_3_1
protected
610006b8
·
[maven-release-plugin] copy for tag org.sat4j.pom-2.3.1
·
Oct 30, 2011
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2_3_0
protected
460d6aa7
·
[maven-release-plugin] copy for tag org.sat4j.pom-2.3.0
·
Mar 29, 2011
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2_2_3
protected
ef696296
·
[maven-release-plugin] copy for tag org.sat4j.pom-2.2.3
·
Dec 23, 2010
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
REDUCED_CORE_PACKAGES
protected
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
protected
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
protected
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
protected
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
protected
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
protected
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
protected
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
protected
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
protected
74bdcb32
·
Tag for release 2.1.0 RC2
·
Mar 12, 2009
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
Next