Les membres du CRIL ont développé des outils et des prototypes qui sont à la disposition de la communauté scientifique ou plus généralement des développeurs de logiciels.

Prouveurs CSP & SAT

  • AbsCon
    AbsCon permet de résoudre des problèmes combinatoires sous contraintes (CSP, COP, WCSP).
  • Glucose
    Le prouveur qui élimine agressivement les clauses apprises
  • ManySat
    ManySat est un solveur parallèle de type DPLL incluant toute les fonctionnalités des solveurs SAT modernes (analyse de conflits, heuristique basée sur les activités, etc.) et celles issues de nos résultats récents sur l’amélioration des techniques d’analyse de conflits.
  • Penelope
    La résolution parallèle de SAT basée sur le LBD et le PSM.
  • ReViVal
    ReViVal est une technique de simplification (ou de vivification) de formules CNF.
  • SAT4J
    SAT4J est une bibliothèque de prouveurs SAT en Java.
  • ppfolio
    Le solveur SAT aux 16 médailles à la compétition SAT de 2011

Raisonnement

  • Belief Revision Games
    Belief revision games (BRGs) are concerned with the dynamics of the beliefs of a group of communicating agents.
  • CoQuiAAS
    Un solveur rapide pour l'argumentation abstraite basé sur les contraintes
  • PRISM
    PRISM stands for Platform for Reasoning with Inconsistency Shapley Measure.

Compilateurs

  • Le projet Compile!
    Le projet Compile! rassemble les travaux réalisés au CRIL sur le thème de la compilation de connaissances.

Fouille de données déclarative

  • DecMining
    DecMining is a web page dedicated to declarative approaches for data mining. It contains software, datasets, publications and related links to others research groups.

Solveur de jeu

  • Woodstock
    Woodstock est un solveur de jeux pour le General Game Playing basé sur les CSP stochastiques.

Autres

  • Alloy 4 Eclipse
    Un plugin eclipse pour le langage de specification Alloy 4.
  • Visite Personnalisée de Musées
    Etude de la problématique de la planification de parcours de visite de musées, ressources et prototype.
  • runsolver
    contrôler finement les ressources mémoire et CPU d'un logiciel

Sites web

  • Le SAT Game
    Le SAT Game est une présentation amusante et pédagogique du problème de satisfiabilité (SAT). Essayez de résoudre à la main des instances SAT simples !
  • SAT Live!
    Pour connaître les dernières nouvelles autour du problème SAT.
  • XCSP
    XCSP3 is a XML-based format designed to represent combinatorial constrained problems.

Anciens logiciels développés au CRIL