APA (7th ed.) Citation
(2026). RealPaver 1.1: A C++ Library for Constraint Programming over Numeric or Mixed Discrete-Continuous Domains. Journal of Open Source Software.
Chicago Style (17th ed.) Citation
"RealPaver 1.1: A C++ Library for Constraint Programming over Numeric or Mixed Discrete-Continuous Domains." Journal of Open Source Software 2026.
MLA (9th ed.) Citation
"RealPaver 1.1: A C++ Library for Constraint Programming over Numeric or Mixed Discrete-Continuous Domains." Journal of Open Source Software, 2026.
Warning: These citations may not always be 100% accurate.