Skip to content
GitLab
Explore
Sign in
SAT4J
sat4j
Repository
Branches
Overview
Active
Stale
All
master
default
protected
ac2343ad
·
Update test for
#175
·
Mar 19, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fix-detect-cards
0fb1e74f
·
fixed logs from PreprocCardConstrLearningSolver
·
Oct 12, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
set-secret-detection-config-1
17413c22
·
Configure Secret Detection in `.gitlab-ci.yml`, creating this file if it does not already exist
·
Sep 25, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
DAC
f51294d5
·
Call SearchListener.end() in case of trivial inconsistency
·
Feb 22, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
DAC_meanLearnedDegree
bcf8228a
·
Merge remote-tracking branch 'origin/DAC' into DAC_meanLearnedDegree
·
Jan 29, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
set-sast-config-2
3182a9e2
·
Configure SAST in `.gitlab-ci.yml`, creating this file if it does not already exist
·
Sep 21, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
VERIPB2
d3266770
·
Delete Anthony2.java
·
Sep 20, 2021
!9
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
VERIPB
6db7a5ce
·
Using dedicated message for VERIPB.
·
Jul 15, 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
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
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
2_3_6
protected
bf44d05e
·
release 2.3.6
·
Dec 14, 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
!4
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
Prev
1
2
3
Next