Numberjack Tutorial - (Adapted from Hebrard et al.'s AAAI ...

Outline

Introduction

Intro to Python

Modeling in Numberjack

Examples

Conclusion

Numberjack Tutorial

(Adapted from Hebrard et al.'s AAAI 2010 tutorial and parts of the Numberjack website)

CS 275

CS 275 Numberjack Tutorial

January 7, 2016

Outline

Introduction

Intro to Python

Modeling in Numberjack

Examples

Conclusion

1 Introduction 2 Intro to Python 3 Modeling in Numberjack 4 Examples

Map Coloring: Australia N-Queens Problem Magic Squares 5 Conclusion

CS 275 Numberjack Tutorial

Outline

Introduction

Intro to Python

Modeling in Numberjack

Examples

Conclusion

1 Introduction 2 Intro to Python 3 Modeling in Numberjack 4 Examples

Map Coloring: Australia N-Queens Problem Magic Squares 5 Conclusion

CS 275 Numberjack Tutorial

Outline

Introduction

Intro to Python

Modeling in Numberjack

Examples

Conclusion

What is Numberjack?

A platform for constraints Written in Python - a front-end to C++-based solvers Excellent for rapidly trying out models

CS 275 Numberjack Tutorial

Outline

Introduction

Intro to Python

Modeling in Numberjack

Examples

Conclusion

1 Introduction 2 Intro to Python 3 Modeling in Numberjack 4 Examples

Map Coloring: Australia N-Queens Problem Magic Squares 5 Conclusion

CS 275 Numberjack Tutorial

Outline

Introduction

Intro to Python

Modeling in Numberjack

Examples

Conclusion

Overview of Python

High-level, general purpose language Supports classes, objects, etc.

CS 275 Numberjack Tutorial

Outline

Introduction

Intro to Python

Modeling in Numberjack

Examples

Conclusion

Basic Structures

Variables a=2

Functions def double(a): return a * 2

Lists foo = [1, 4, 5, 10, 2] bar = ["this", "is", "a", "list"]

Tuples triplet = (1, 2, 3)

CS 275 course = ("CS", 275)

Numberjack Tutorial

Outline

Introduction

Intro to Python

Modeling in Numberjack

Examples

Conclusion

Control

if : do_stuff()

while : do_stuff()

CS 275 Numberjack Tutorial

 ................
................

In order to avoid copyright disputes, this page is only a partial summary.

Google Online Preview   Download