The world's simplest constraint-solver