Skip to content
@crillab

Centre de Recherche en Informatique de Lens

Artificial Intelligence Research and Applications

Popular repositories

  1. 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 : 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 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

Repositories

Top languages

Loading…

Most used topics

Loading…