swh:1:snp:f92f30fa3090eae65efe8d40c3d27dad22819990
Tip revision: 512f0f2bd8dc8c1132f3cd138a17d57d4db9c514 authored by François Dupressoir on 30 June 2021, 14:43:29 UTC
[docker] get CVC4 from a more stable URL
[docker] get CVC4 from a more stable URL
Tip revision: 512f0f2
| File | Mode | Size |
|---|---|---|
| Bigalg.ec | -rw-r--r-- | 11.3 KB |
| Bigop.eca | -rw-r--r-- | 22.5 KB |
| Binomial.ec | -rw-r--r-- | 7.6 KB |
| Group.ec | -rw-r--r-- | 18.3 KB |
| Ideal.ec | -rw-r--r-- | 17.8 KB |
| IntDiv.ec | -rw-r--r-- | 30.6 KB |
| Matrix.eca | -rw-r--r-- | 23.9 KB |
| Monoid.eca | -rw-r--r-- | 1.5 KB |
| Number.ec | -rw-r--r-- | 50.1 KB |
| Perms.ec | -rw-r--r-- | 4.8 KB |
| Poly.ec | -rw-r--r-- | 33.3 KB |
| Ring.ec | -rw-r--r-- | 26.6 KB |
| StdBigop.ec | -rw-r--r-- | 8.2 KB |
| StdOrder.ec | -rw-r--r-- | 3.3 KB |
| StdRing.ec | -rw-r--r-- | 1.5 KB |
| ZModP.ec | -rw-r--r-- | 11.1 KB |
