constraint-programming
Duplicate Symbol Linker Error (C++ help)
I\'m learning some CSP (constraint satisfaction) theory stuff right now, and am using this library to parse XML files. I\'m using Xcode as an IDE.[详细]
2023-01-02 11:41 分类:问答Embedded Prolog Interpreter/Compiler for Java
I\'m working on an application in Java, that needs to do some complex logic rule deductions as part of its functionality. I\'d like to code my logic deductions in Prolog or some other logic/constraint[详细]
2022-12-13 06:34 分类:问答Constrained graph transformation in scheduling applications
I\'m working on an interactive job scheduling application. Given a set of resources with corresponding capacity/availabilty profiles, a set of jobs to be executed on these resources and a set of const[详细]
2022-12-12 05:15 分类:问答