Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Jonas Bollgrün
sat4j
Repository
Branches
Overview
Active
Stale
All
forgettingExperiments
c4976121
·
some small things after projection analysis benchmark
·
Jan 16, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
prefbones
e13e2842
·
Noticed that implicantIntersection was not called regularly.
·
Feb 23, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
016981c0
·
Merge branch 'master' of
https://gitlab.ow2.org/sat4j/sat4j
·
Jan 07, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
irrelevant-experimental
cd932c2e
·
✨
Restores the post processing at each step.
·
Nov 14, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
JAN_FIX
4f3ba882
·
Configures CI to run tests
·
Oct 28, 2019
Compare
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
Compare
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
Compare
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
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ENCAPSULATE_STATISTICS_FIELDS
927e349c
·
Yet another sonarqube violation fix.
·
Nov 11, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cherry-pick-5d0a981f
7f0dcd16
·
Add missing import statements.
·
Aug 23, 2017
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
KTH
merged
1bdf238a
·
Solve compilation problem.
·
Mar 26, 2017
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
BRESIL
06b5a5d6
·
Implement toString(VarMapper)
·
Nov 29, 2013
Compare
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
Compare
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
Compare
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
Compare
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
Compare
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
Compare
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
Compare
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
Compare
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
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
Next
