1
0
mirror of https://github.com/kalmarek/SmallHyperbolic synced 2024-07-27 13:05:31 +02:00
Go to file
2020-02-26 14:50:55 +01:00
data add grups555 2020-02-12 01:12:49 +01:00
src fix: computation of the Kazhdan constant and radius in certification 2020-02-26 14:50:32 +01:00
Makefile add grups555 2020-02-12 01:12:49 +01:00
Manifest.toml add external logging and Makefile 2020-01-20 01:19:50 +01:00
Project.toml Add DelimitedFiles to Project 2020-01-20 02:15:12 +01:00
runcomputations.jl set the default SCS eps to 1e-10 2020-02-26 14:50:55 +01:00