Popular repositories Loading

1. reputation-simulator reputation-simulator Public

   Python 2

2. circlepacking circlepacking Public

   Prover code for the paper "Packing Disks into Disks with Optimal Worst-Case Density".

   Cuda 1

3. tilt-sort tilt-sort Public

4. circlecover circlecover Public

   Prover code for the paper "Worst-Case Optimal Covering of Rectangles by Disks" by Fekete, Gupta, Keldenich, Scheffer and Shah.

   Cuda

5. squares-in-disk squares-in-disk Public

   The code of our automated prover for worst-case optimal packing of squares into a disk.

   C++

6. circlecover-triangles circlecover-triangles Public

   C++