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
SAT4J
sat4j
SAT4J / sat4j
6 forks: 6 public, 0 internal, and 0 private
Created date
Romain WALLON /
sat4j
Merge branch 'master' of
https://gitlab.ow2.org/sat4j/sat4j
0
Updated
Mar 17, 2022
0
0
0
0
Updated
Mar 17, 2022
Antoine Mottier /
sat4j
Bump version in POMs to 2.3.7-SNAPSHOT
0
Updated
Dec 17, 2020
0
0
0
0
Updated
Dec 17, 2020
Jonas Bollgrün /
sat4j
Merge branch 'master' of
https://gitlab.ow2.org/sat4j/sat4j
0
Updated
Oct 06, 2020
0
0
0
0
Updated
Oct 06, 2020
Lukas Kaufmann /
sat4j
Maven 3.6.1->3.6.2, java12->java13
0
Updated
Oct 06, 2020
0
0
0
0
Updated
Oct 06, 2020
Assad Montasser /
sat4j
Adding build for java 11. Moving from maven 3.5.3 to 3.5.4 for that.
0
Updated
Oct 06, 2020
0
0
0
0
Updated
Oct 06, 2020
Jan Elffers /
sat4j
Solve compilation problem.
0
Updated
Oct 06, 2020
0
0
0
0
Updated
Oct 06, 2020