tobyodavies

GoogleParis

Pinned Repositories

chuffed
The Chuffed CP solver
Language:C++00
jquery-ui
The official jQuery user interface library.
Language:JavaScript00
LAPKT-public
LAPKT public repository
Language:C++00
MaxHS
MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus
Language:C++0 2 00
minisat
My experimental fork of minisat to keep "Glue" clauses
Language:C++0 2 00
PDRplan
An automated planner based on the Property Directed Reachability algorithm
Language:C0 2 00
python-classtools
Decorator library for classes, inspired by functools
Language:Python1 2 00

tobyodavies's Repositories

tobyodavies/python-classtools
Decorator library for classes, inspired by functools
Language:Python1 2 00
tobyodavies/chuffed
The Chuffed CP solver
Language:C++00
tobyodavies/jquery-ui
The official jQuery user interface library.
Language:JavaScript00
tobyodavies/LAPKT-public
LAPKT public repository
Language:C++00
tobyodavies/MaxHS
MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus
Language:C++0 2 00
tobyodavies/minisat
My experimental fork of minisat to keep "Glue" clauses
Language:C++0 2 00
tobyodavies/PDRplan
An automated planner based on the Property Directed Reachability algorithm
Language:C0 2 00
tobyodavies/tobyodavies.github.io
Language:HTML