Daniel Le Berre

Lens, France

Contributions

Analyzed 3 months ago

No commits available to display

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 about 1 month ago. based on code collected 3 months ago.

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

157 Commits in mostly XML

The analysis for this contribution has been scheduled.

Analyzed about 1 month ago. based on code collected over 5 years ago.