How hard is constraint programming?
The Endeavour 2024-10-31
Summary:
I’ve been writing code for the Z3 SMT solver for several months now. Here are my findings. Python is used here as the base language. Python/Z3 feels like a two-layer programming model—declarative code for Z3, imperative code for Python. In this it seems reminiscent of C++/CUDA programming for NVIDIA GPUs—in that case, mixed CPU and […]
The post How hard is constraint programming? first appeared on John D. Cook.