Allen's repositories
stcsp-solver
Stream Constraint Satisfaction Problem solver.
aaai_melding_code
Code the AAAI 2019 paper "Melding the Data-Decisions Pipeline: Decision-Focused Learning for Combinatorial Optimization"
auto_dom
The MiniZinc compiler
Language:C++NOASSERTION000
chuffed
The Chuffed CP solver
Language:C++MIT000
cp-profiler
Profiling and Visualisation for Constraint Programming
GameGenerator
The Game Generator is a java project which can generate "game and watch" automatically by simple config and image preparation. The Stream Constraint solver is needed.
linux-insides
A little bit about a linux kernel
minizinc-doc
MiniZinc documentation
mzn-bench
A framework to performing benchmark testing on MiniZinc models, solvers, and/or the compiler itself.
Language:Python000
PyEPO
A PyTorch-based End-to-End Predict-then-Optimize Library for Linear and Integer Programming
Language:Jupyter NotebookMIT000