combine

combine copied to clipboard

Zdd - [ ] documentation - [ ] weak hash tables - [ ] stat function - [ ] Local versus global memo tables Dlx - [ ] documentation Tiling...

zapashcanon

Parallel

3

Hi, This is very nice work, I have used it to test a combinatorics tiling conjecture and it gave impressively fast results. I was wondering if there could be a...

tomsib2001

color compilation

1

When trying to compile color.ml using the proposed command with Ocaml 4.02.1 or Ocaml 4.02.3 ``` make color.opt ``` I get the error ``` ocamlopt.opt -o color.opt -g -annot -I...

tomsib2001