Pinned Repositories
conan
Conan - The open-source C and C++ package manager
cpsat-primer
The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver
boostheap-fix
Boost.Heap
circlecover
Prover code for the paper "Worst-Case Optimal Covering of Rectangles by Disks" by Fekete, Gupta, Keldenich, Scheffer and Shah.
circlecover-triangles
circlepacking
Prover code for the paper "Packing Disks into Disks with Optimal Worst-Case Density".
reputation-simulator
squares-in-disk
The code of our automated prover for worst-case optimal packing of squares into a disk.
standalone-unit-propagator
A relatively simple unit propagator contained in a single header file with no dependencies other than C++ 20.
tilt-sort
phillip-keldenich's Repositories
phillip-keldenich/reputation-simulator
phillip-keldenich/circlepacking
Prover code for the paper "Packing Disks into Disks with Optimal Worst-Case Density".
phillip-keldenich/boostheap-fix
Boost.Heap
phillip-keldenich/circlecover
Prover code for the paper "Worst-Case Optimal Covering of Rectangles by Disks" by Fekete, Gupta, Keldenich, Scheffer and Shah.
phillip-keldenich/circlecover-triangles
phillip-keldenich/squares-in-disk
The code of our automated prover for worst-case optimal packing of squares into a disk.
phillip-keldenich/standalone-unit-propagator
A relatively simple unit propagator contained in a single header file with no dependencies other than C++ 20.
phillip-keldenich/tilt-sort