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

C++ Meson Submitted 20 May 2025Published 16 February 2026
Review

Editor: @danielskatz (all papers)
Reviewers: @cvanaret (all reviews), @dannys4 (all reviews), @victorapm (all reviews)

Authors

Raphaël Chenouard (0000-0002-9761-6703), Laurent Granvilliers (0000-0003-3320-7502)

Citation

Chenouard et al., (2026). RealPaver 1.1: A C++ Library for Constraint Programming over Numeric or Mixed Discrete-Continuous Domains. Journal of Open Source Software, 11(118), 9331, https://doi.org/10.21105/joss.09331

@article{Chenouard2026, doi = {10.21105/joss.09331}, url = {https://doi.org/10.21105/joss.09331}, year = {2026}, publisher = {The Open Journal}, volume = {11}, number = {118}, pages = {9331}, author = {Chenouard, Raphaël and Granvilliers, Laurent}, title = {RealPaver 1.1: A C++ Library for Constraint Programming over Numeric or Mixed Discrete-Continuous Domains}, journal = {Journal of Open Source Software} }
Copy citation string · Copy BibTeX  
Tags

constraint programming constraint satisfaction problem nonlinear constraint interval arithmetic modeling language

Altmetrics
Markdown badge

 

License

Authors of JOSS papers retain copyright.

This work is licensed under a Creative Commons Attribution 4.0 International License.

Creative Commons License

Table of Contents
Public user content licensed CC BY 4.0 unless otherwise specified.
ISSN 2475-9066