RealPaver 1.1: A C++ Library for Constraint Programming over Numeric or Mixed Discrete-Continuous Domains

RealPaver 1.1: A C++ Library for Constraint Programming over Numeric or Mixed Discrete-Continuous Domains - Published in JOSS (2026)

https://github.com/realpaver/realpaver

Science Score: 87.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • CITATION.cff file
  • codemeta.json file
  • .zenodo.json file
  • DOI references
    Found 1 DOI reference(s) in JOSS metadata
  • Academic links in README
  • Academic email domains
  • Institutional organization owner
  • JOSS paper metadata
    Published in Journal of Open Source Software
Last synced: 4 months ago · JSON representation

JOSS Publication

RealPaver 1.1: A C++ Library for Constraint Programming over Numeric or Mixed Discrete-Continuous Domains
Published
February 16, 2026
Volume 11, Issue 118, Page 9331
Authors
Raphaël Chenouard ORCID
Nantes Université, École Centrale Nantes, CNRS, LS2N, UMR 6004, Nantes, France
Laurent Granvilliers ORCID
Nantes Université, École Centrale Nantes, CNRS, LS2N, UMR 6004, Nantes, France
Editor
Daniel S. Katz ORCID
Tags
constraint programming constraint satisfaction problem nonlinear constraint interval arithmetic modeling language