Centre de Recherche en Informatique de Lens

Popular repositories

1. gophersat Public

   gophersat, a SAT solver in Go

   Go 326 25

2. metrics Public

   mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity

   Jupyter Notebook 9

3. d4 Public

   d4 Model Counter

   C++ 7 4

4. nacre_mini Public

   NACRE : Nogood And Clause Reasoning Engine

   C++ 6 4

5. rubens Public

   RUBENS is a library designed to generate test cases in an automatic way using translation rules. It is delivered with some builtin test generators and an interface conceived in order to create new …

   Java 3

6. jigsaw-cli Public

   Jigsaw-CLI is a Java command-line arguments parsing library based on annotations. Contrary to most of this kind of library, Jigsaw-CLI implements the Java module system introduced in Java 9.

   Java 2 1