rpms/sat4j
7
0
Fork 0
Code Issues Pull Requests Releases Activity
A library of SAT solvers written in Java
3 Commits 9 Branches 8 Tags 39 KiB
Shell 100%
a98ec5dc53
Go to file
DistroBaker a98ec5dc53 Merged update from upstream sources 
This is an automated DistroBaker update from upstream sources.
If you do not know what this is about or would like to opt out,
contact the OSCI team.

Source: https://src.fedoraproject.org/rpms/sat4j.git#3ca91dcecf2d460b4cfd8547abcebaa564139cd9
2021-02-05 07:14:13 +01:00
.gitignore Merged update from upstream sources 2021-01-08 14:38:15 +01:00
0001-Fix-runtime-classpath-and-minimum-BREE.patch Merged update from upstream sources 2021-01-08 14:38:15 +01:00
sat4j-fetch.sh Merged update from upstream sources 2021-01-08 14:38:15 +01:00
sat4j.spec Merged update from upstream sources 2021-02-05 07:14:13 +01:00
sources Merged update from upstream sources 2021-01-08 14:38:15 +01:00