constraint-programming

5El calor

2Respuesta

¿Está buscando ejemplos prácticos de cajas de uso SMT Z3 (como DbC) y alternativas de código abierto a Z3?

Me he interesado y estoy buscando ejemplos prácticos del uso de SMT Z3 (como DbC) con código y alternativas de código abierto para esta herramienta. Así que, de hecho, estoy interesado en las herramie

.net constraint-programming sat-solvers z3 2011-01-06

---

14El calor

1Respuesta

¿Alguien puede sugerir una buena biblioteca de restricciones para Haskell?

Empecé a aprender acerca de Constraint programming y creo que es algo que funcionaría bien con Haskell (también disfruto de usar Haskell). ¿Existen marcos de restricciones maduros para Haskell?

haskell package constraint-programming 2010-10-13

---

38El calor

9Respuesta

Comenzar con la Programación de restricciones

Buscando consejos, tutoriales, libros y otros recursos para comenzar con la Programación de restricciones.

constraint-programming 2008-11-26

---

16El calor

4Respuesta

¿Es Erlang un lenguaje de programación de restricción de lógica?

Desde Erlang se basa en Prolog, ¿significa esto que Erlang es una restricción-Logic Lenguaje? ¿Se Erlang tienen bloques de construcción de Prolog: Datos, Reglas y consultas

erlang prolog constraint-programming 2011-03-22

---

5El calor

1Respuesta

¿Cómo verificar las restricciones entre los elementos en una lista/es esta Programación de Restricciones?

I tienen muchas listas de tamaño variable que contiene las instancias de la misma clase con foo atributo, y para cada lista que debe aplicar reglas como: si hay un elemento foo = A no puede haber elem

python constraints constraint-programming 2010-09-08

---

6El calor

1Respuesta

Error duplicado del vinculador de símbolos (ayuda de C++)

Estoy aprendiendo algo de teoría CSP (satisfacción de restricciones) en este momento, y estoy usando la biblioteca this para analizar archivos XML. Estoy usando Xcode como un IDE. Mi programa compila

c++ linker constraint-programming 2010-06-02

---

16El calor

4Respuesta

algoritmo de programación de citas (N personas con N ranuras libres-ocupado, de satisfacción de restricciones)

Planteamiento del problema Tenemos un empleador que quiere entrevistar N personas, y por lo tanto hace que N intervalos de entrevista. Cada persona tiene un horario libre para esas máquinas tragamoned

algorithm graph constraint-programming 2012-06-21

---

7El calor

4Respuesta

Transformación de gráficos restringida en las aplicaciones de programación

Estoy trabajando en una aplicación de programación de trabajos interactiva. Dado un conjunto de recursos con los perfiles de capacidad/disponibilidad correspondientes, un conjunto de trabajos para eje

algorithm language-agnostic graph scheduling constraint-programming 2009-11-20

---

41El calor

13Respuesta

Intérprete/compilador Prolog integrado para Java

Estoy trabajando en una aplicación en Java, que necesita hacer algunas deducciones de reglas lógicas complejas como parte de su funcionalidad. Me gustaría codificar mis deducciones lógicas en Prolog o

java prolog embedded-language logic-programming constraint-programming 2009-11-29

---

8El calor

1Respuesta

¿Cuál es la ventaja de SMT-Solver sobre CSP-Solver en la resolución de restricciones?

SMT-Solver se puede usar para resolver restricciones. Como sabemos, los solucionadores de CSP también sirven para la resolución de restricciones durante muchos años. Entonces, ¿cuál es la ventaja del

constraint-programming satisfiability 2012-05-14

---