<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2009-05-20 00:54:28Software engineering Computer programming Constraint programming Type systems Type theory List comprehension Annotation Computing |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2009-05-20 00:54:28Software engineering Computer programming Constraint programming Type systems Type theory List comprehension Annotation Computing |
Add to Reading List |
Converting MiniZinc to FlatZinc Version 1.0 Nicholas Nethercote 1