You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

This repo is archived. You can view files and clone it, but cannot push or open issues/pull-requests.

Alinson S. Xavier fac62db36a infinity: make cuts more reliable		9 years ago
..
render.sage	infinity: make cuts more reliable	9 years ago
render.sage.py	infinity: make cuts more reliable	9 years ago
table-csv.rb	Add benchmark script and instances	9 years ago
table.rb	Add benchmark script and instances	9 years ago
time.rb	Add benchmark script and instances	9 years ago