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

Submitted 20 May 2025
This paper is review pending but the review hasn't started. Editor and reviewer assignments are happening over on GitHub »

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