Skip to content
GitLab
Explore
Sign in
Antoine Mottier
sat4j
Repository
Branches
Overview
Active
Stale
All
master
default
protected
06272b9b
·
Don't deploy
·
Aug 31, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
antoine
49be02bf
·
Remove deploy phase from CI
·
Dec 17, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2_3_6
bf44d05e
·
release 2.3.6
·
Dec 14, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
VERIPB
bed61fac
·
Fixes a wrong use of a method
·
Nov 18, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cdcl-strategies
91bce9d3
·
Considers watched literals in resolution based solvers for Both-like solvers
·
Sep 13, 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
weakening-investigations
0f34a5c0
·
Another fix for Java 8
·
Jul 02, 2020
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
JAN_FIX
4f3ba882
·
Configures CI to run tests
·
Oct 28, 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
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
Prev
1
2
3
Next