constraint-programming
Two Dimensional Array Constraints: Sudoku
I am attempting to solve Sudoku as a constraint satisfaction problem for a homework assignment.I have already constructed constraints for all the elements in a particular row being distinct, as well a[详细]
2023-04-12 00:47 分类:问答Quadratic programming solver that guarantees a boundary point?
I have a problem that I have expressed a开发者_如何学Pythons the minimization of a convex quadratic program with linear constraints. The problem is that I want to disallow any point that is strictly i[详细]
2023-04-08 20:58 分类:问答Alternative for swi prologs clpq library for soving simplex
Excuse me if this is the wrong place to ask. I have been using SWI Prolog\'s clpq library to solve simplex. I find the syntax pretty simple and expressive. It looks like this:[详细]
2023-04-06 05:41 分类:问答how to implement a 'nested' cost function in Gecode?
I am new to gecode and constraint programming in general. So far, I haven\'t had much trouble picking up gecode, it\'s great. ButI was wondering what is the best way to perform a \"nested\" cost func[详细]
2023-04-04 12:02 分类:问答Convert First-Order Logic to CNF
I\'m endeavouring t开发者_Go百科o use MiniSat to solve a constraint satisfaction problem. In first-order logic the problem is easily represented by a few discrete-domain variables and some predicates.[详细]
2023-04-01 08:05 分类:问答Prolog: iteration
Good evening, i have a simple problem, and i warn you that i am very new with prolog. Suppose to have three lists of the same size, each containing only 1s, 0s or -1s.[详细]
2023-03-29 17:07 分类:问答Ordering lists with constraint logic programming
I was wondering if anyone could help me with this problem: I have to order a list using Prolog with Constraing Logic Programming and I must do it with the more efficient way I can.[详细]
2023-03-09 19:47 分类:问答How to write a custom constraint to check that atleast one boolean field in a class is true
I have a class called \"Scheduler\" which has 7 Boolean fields. I want to write a constraint in hibernate to check that at-least one boolean field is true.[详细]
2023-03-07 14:02 分类:问答Need Help In Solving A Constraint Problem (2nd)
I have solved the following constraint processing task. Can you please verify if it is correct? One of the prisoners of a high-level security prison sees a way to escape. Almost[详细]
2023-03-06 16:52 分类:问答Need Help In Solving A Constraint Problem
I would like to solve the following problem using constraints but i actually don\'t know where to begin so i decided to post it here for help.[详细]
2023-03-06 05:08 分类:问答