<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2010-08-26 04:03:22Software engineering Computer programming Constraint programming Type systems Type theory List comprehension Annotation Computing |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2010-08-26 04:03:22Software engineering Computer programming Constraint programming Type systems Type theory List comprehension Annotation Computing |
Add to Reading List |
Converting MiniZinc to FlatZinc Version 1.1 Nicholas Nethercote 1