Skip to content
GitLab
Explore
Sign in
SAT4J
sat4j
Repository
Branches
Overview
Active
Stale
All
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_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_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
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_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
BRESIL
protected
06b5a5d6
·
Implement toString(VarMapper)
·
Nov 29, 2013
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
cherry-pick-5d0a981f
7f0dcd16
·
Add missing import statements.
·
Aug 23, 2017
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
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
fix-sat-155
e6549155
·
Corrects the order of the literals in all kinds of WatchPb
·
Mar 18, 2019
!4
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
JAN_FIX
4f3ba882
·
Configures CI to run tests
·
Oct 28, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
irrelevant-experimental
f4f0ab96
·
Some changes to take both removal and weakening into account.
·
Jan 29, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
weakening-investigations
0f34a5c0
·
Another fix for Java 8
·
Jul 02, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
irrelevant-rs
6bac6d28
·
Fixes the lost conflict due to irrelevant literal removal.
·
Aug 22, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2_3_6
protected
bf44d05e
·
release 2.3.6
·
Dec 14, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cdcl-strategies
protected
b872caa5
·
Double bump conflicting and better effectiveness.
·
Feb 10, 2021
!6
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
assertion-level
078f9d16
·
Merge branch 'master' of
https://gitlab.ow2.org/sat4j/sat4j
into assertion-level
·
May 11, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
set-sast-config-1
062e6da9
·
Adding build stage
·
May 22, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
Next