rpms/sat4j
7
0
Fork 0
Code Issues Pull Requests Releases Activity
A library of SAT solvers written in Java
2 Commits 9 Branches 8 Tags 39 KiB
Shell 100%
e706e3b018
Go to file
DistroBaker e706e3b018 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#8f6d4dd1098c485adc01585ef34e5d5f7a3f41f5
2021-01-08 14:38:15 +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-01-08 14:38:15 +01:00
sources Merged update from upstream sources 2021-01-08 14:38:15 +01:00