cril

Centre de Recherche en Informatique de Lens

  • (current)
  • Presentation
    • Topics
    • Organization
    • Location
    • News
  • Research
    • Knowledge Representation and Reasonings
    • Algorithms for Inference and Constraints
    • PhD theses & HDR
    • Projects/Collaborations/Actions
    • Awards
    • Seminars
  • Research Output
    • Publications
    • Software
  • Recruitment
  • Directory
  • Contact
  • Language
    • French
    • English
    • German
  • Intranet

D-Syrup

D-Syrup is an distributed SAT solver based on the portfolio paradigm. This solver, dedicated to work on plenty of cores, implements a new fully hybrid distributed programming model and is built on top of Syrup (aka glucose in parallel).

  • Authors :
  • Gilles Audemard
  • Jean-Marie Lagniez
  • Nicolas Szczepanski
  • Sébastien Tabary
Visit the web page of the software 

Contact Us

  +33 (0)3 21 79 17 23
 

Our Addresses

  UFR des Sciences Jean Perrin
Rue Jean Souvraz SP 18
F-62307 Lens Cedex
France
main postal address
  IUT de Lens
Rue de l’Université SP 16
F-62307 Lens Cedex
France


| Site Credits |