Contributions

  Analyzed 1 day ago
Technical adviser Affiliated with CRIL-CNRS, Université d'Artois Direct use of SAT4J API inside Equinox.

The analysis for this contribution has been scheduled.
Project Leader Affiliated with CRIL-CNRS UMR 8188 I created the SAT4J library and I maintain it since then.

1861 Commits in mostly Java

The analysis for this contribution has been scheduled.
Analyzed 1 day ago. based on code collected 1 day ago.