Open Hub
Open Hub
 

Contributions

  Analyzed 12 months ago
Equinox (Eclipse Foundation)
Technical adviser Affiliated with CRIL-CNRS, Université d'Artois Direct use of SAT4J API inside Equinox.

The analysis for this contribution has been scheduled.
SAT4J (The OW2 Consortium)
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 12 months ago. based on code collected 12 months ago.