<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2012-03-16 00:27:10Software engineering Computer programming Constraint programming Type systems Type theory List comprehension Annotation Computing |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2012-03-16 00:27:10Software engineering Computer programming Constraint programming Type systems Type theory List comprehension Annotation Computing |
Add to Reading List |
Converting MiniZinc to FlatZinc Version 1.5 Nicholas Nethercote 1