Centre de Recherche en Informatique de Lens
- Lens, France
- http://www.cril.fr/
Grow your team on GitHub
GitHub is home to over 40 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
Sign up-
pfactory
pFactory is a parallel library designed to support and facilitate the implementation of parallel solvers in C++
-
gophersat
gophersat, a SAT solver in Go
-
jigsaw-cli
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.
-
rubens
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 ones with few effort.
-
nacre_mini
NACRE : Nogood And Clause Reasoning Engine
-
org.alloytools.alloy
Forked from AlloyTools/org.alloytools.alloyAlloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
-
Parser-InToHyLo
Small piece of code to parse easily the InToHyLo format. Documentation here:
-
mdk-verifier
Modal Logic K checker
