14 Answered Questions

[SOLVED] Solving "Who owns the Zebra" programmatically?

4 Answered Questions

13 Answered Questions

3 Answered Questions

[SOLVED] Ordering lists with constraint logic programming

3 Answered Questions

1 Answered Questions

3 Answered Questions

2 Answered Questions

2 Answered Questions

2 Answered Questions

[SOLVED] Multi-Sudoku AI approach

1 Answered Questions

1 Answered Questions

[SOLVED] Convert Boolean FlatZinc to CNF DIMACS

1 Answered Questions

1 Answered Questions

[SOLVED] retrieve the matched model in Z3py?

2 Answered Questions

2 Answered Questions

2 Answered Questions

[SOLVED] Projection of solutions

1 Answered Questions

3 Answered Questions

3 Answered Questions

0 Answered Questions

0 Answered Questions

1 Answered Questions

1 Answered Questions

[SOLVED] Duplicate Symbol Linker Error (C++ help)

5 Answered Questions

[SOLVED] Solution to Smullyan's numerical machines

0 Answered Questions

Assigning people to beds - approaches to automate