https://gitlab.ow2.org/sat4j/sat4j.git
Raw File
Tip revision: 078f9d16aa5a372bd2961881967d25ff18b5a220 authored by Romain WALLON on 11 May 2021, 19:19:38 UTC
Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j into assertion-level
Tip revision: 078f9d1
plugin.properties
bundleName = SAT4J Pseudo
providerName = CRIL CNRS UMR 8188 - Universite d'Artois

back to top