Skip to content
GitLab
Explore
Sign in
Lukas Kaufmann
sat4j
Repository
Branches
Overview
Active
Stale
All
master
default
protected
5cee71e6
·
Maven 3.6.1->3.6.2, java12->java13
·
Sep 19, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
sat19
b695c886
·
A first attempt to measure time needed to detect irrelevant literals
·
Mar 21, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fix-sat-155
e6549155
·
Corrects the order of the literals in all kinds of WatchPb
·
Mar 18, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
EFFICIENCY_FIX
c73d87f4
·
Merge branch 'EFFICIENCY_FIX' of
https://gitlab.ow2.org/sat4j/sat4j
into EFFICIENCY_FIX
·
Jan 27, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ENCAPSULATE_STATISTICS_FIELDS
927e349c
·
Yet another sonarqube violation fix.
·
Nov 11, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
JAN_FIX
1af826fe
·
remove debug statements
·
Dec 02, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cherry-pick-5d0a981f
7f0dcd16
·
Add missing import statements.
·
Aug 23, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
KTH
1bdf238a
·
Solve compilation problem.
·
Mar 26, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
BRESIL
06b5a5d6
·
Implement toString(VarMapper)
·
Nov 29, 2013
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2_3_5
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
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
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
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
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
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
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
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
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
Prev
1
2
Next