Report - 1 Constraints and Logic Programming All problems involving finite domains (including booleans, and sets) may be solved, in principle, with logic programming.

Please pass captcha verification before submit form