<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2011-11-11 00:02:58Software engineering Computer programming Constraint programming Type systems Type theory List comprehension Annotation Computing |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2011-11-11 00:02:58Software engineering Computer programming Constraint programming Type systems Type theory List comprehension Annotation Computing |
Add to Reading List |
Converting MiniZinc to FlatZinc Version 1.4 Nicholas Nethercote 1