rpms
/
sat4j
7
0
Fork 0
Code Issues Pull Requests Releases Activity
A library of SAT solvers written in Java
4 Commits 8 Branches 7 Tags 46 KiB
Shell 100%
Go to file
DistroBaker ca4745ddce 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-12 11:56:50 +00: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