AllenZzw

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"

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

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.

geas

graph-pointer-network

kplib

Test instances for knapsack problems

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.

PyEPO

A PyTorch-based End-to-End Predict-then-Optimize Library for Linear and Integer Programming