Pinned Repositories
aaai_melding_code
Code the AAAI 2019 paper "Melding the Data-Decisions Pipeline: Decision-Focused Learning for Combinatorial Optimization"
AllenZzw.github.io
auto-dom
auto_dom
The MiniZinc compiler
Automatic-Dominance-Breaking
bcp-mapf
BCP-MAPF – branch-and-cut-and-price for multi-agent path finding
chuffed
The Chuffed CP solver
cp-profiler
Profiling and Visualisation for Constraint Programming
stcsp-solver
Stream Constraint Satisfaction Problem solver.
huub
A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed
AllenZzw's Repositories
AllenZzw/stcsp-solver
Stream Constraint Satisfaction Problem solver.
AllenZzw/aaai_melding_code
Code the AAAI 2019 paper "Melding the Data-Decisions Pipeline: Decision-Focused Learning for Combinatorial Optimization"
AllenZzw/AllenZzw.github.io
AllenZzw/auto-dom
AllenZzw/auto_dom
The MiniZinc compiler
AllenZzw/Automatic-Dominance-Breaking
AllenZzw/bcp-mapf
BCP-MAPF – branch-and-cut-and-price for multi-agent path finding
AllenZzw/chuffed
The Chuffed CP solver
AllenZzw/cp-profiler
Profiling and Visualisation for Constraint Programming
AllenZzw/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.
AllenZzw/geas
AllenZzw/graph-pointer-network
AllenZzw/huub
A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed
AllenZzw/kplib
Test instances for knapsack problems
AllenZzw/linux-insides
A little bit about a linux kernel
AllenZzw/minizinc-doc
MiniZinc documentation
AllenZzw/mzn-bench
A framework to performing benchmark testing on MiniZinc models, solvers, and/or the compiler itself.
AllenZzw/PyEPO
A PyTorch-based End-to-End Predict-then-Optimize Library for Linear and Integer Programming