| Parent directory/ | - | - |
| CVS/ | - | 2023-Dec-30 12:01 |
| codegen/ | - | 2023-Dec-30 12:01 |
| flow/ | - | 2023-Dec-30 12:01 |
| schedule/ | - | 2023-Dec-30 12:01 |
| sven.pip | 29 B | 2023-Dec-30 07:07 |
| set.omega | 36 B | 2023-Dec-30 07:07 |
| affine3.polylib | 44 B | 2023-Dec-30 07:07 |
| convex4.polylib | 50 B | 2023-Dec-30 07:07 |
| convex7.polylib | 50 B | 2023-Dec-30 07:07 |
| split.pwqp | 53 B | 2023-Dec-30 07:07 |
| convex0.polylib | 54 B | 2023-Dec-30 07:07 |
| exist.pip | 54 B | 2023-Dec-30 07:07 |
| small.pip | 57 B | 2023-Dec-30 07:07 |
| convex3.polylib | 60 B | 2023-Dec-30 07:07 |
| equality2.pwqp | 61 B | 2023-Dec-30 07:07 |
| basicTest.pwqp | 62 B | 2023-Dec-30 07:07 |
| test3Deg3Var.pwqp | 62 B | 2023-Dec-30 07:07 |
| basicTestParameterPosNeg.pwqp | 63 B | 2023-Dec-30 07:07 |
| application.omega | 64 B | 2023-Dec-30 07:07 |
| basicLinear.pwqp | 68 B | 2023-Dec-30 07:07 |
| ex2.pip | 69 B | 2023-Dec-30 07:07 |
| max.pip | 69 B | 2023-Dec-30 07:07 |
| square.pip | 69 B | 2023-Dec-30 07:07 |
| equality1.pwqp | 70 B | 2023-Dec-30 07:07 |
| basicLinear2.pwqp | 73 B | 2023-Dec-30 07:07 |
| affine2.polylib | 75 B | 2023-Dec-30 07:07 |
| neg.pwqp | 76 B | 2023-Dec-30 07:07 |
| equality3.pwqp | 77 B | 2023-Dec-30 07:07 |
| convex5.polylib | 80 B | 2023-Dec-30 07:07 |
| philippe.pwqp | 80 B | 2023-Dec-30 07:07 |
| philippeNeg.pwqp | 81 B | 2023-Dec-30 07:07 |
| convex14.polylib | 89 B | 2023-Dec-30 07:07 |
| equality4.pwqp | 89 B | 2023-Dec-30 07:07 |
| negative.pip | 89 B | 2023-Dec-30 07:07 |
| ex.pip | 91 B | 2023-Dec-30 07:07 |
| unexpanded.pwqp | 91 B | 2023-Dec-30 07:07 |
| convex9.polylib | 94 B | 2023-Dec-30 07:07 |
| philippePolynomialCoeff1P.pwqp | 94 B | 2023-Dec-30 07:07 |
| exist2.pip | 96 B | 2023-Dec-30 07:07 |
| convex11.polylib | 97 B | 2023-Dec-30 07:07 |
| application2.omega | 106 B | 2023-Dec-30 07:07 |
| philippe3vars.pwqp | 108 B | 2023-Dec-30 07:07 |
| philippePolynomialCoeff.pwqp | 108 B | 2023-Dec-30 07:07 |
| equality5.pwqp | 109 B | 2023-Dec-30 07:07 |
| boulet.pip | 110 B | 2023-Dec-30 07:07 |
| fimmel.pip | 110 B | 2023-Dec-30 07:07 |
| devos.pwqp | 111 B | 2023-Dec-30 07:07 |
| product.pwqp | 125 B | 2023-Dec-30 07:07 |
| linearExample.pwqp | 139 B | 2023-Dec-30 07:07 |
| philippe3vars3pars.pwqp | 145 B | 2023-Dec-30 07:07 |
| convex10.polylib | 146 B | 2023-Dec-30 07:07 |
| convex12.polylib | 161 B | 2023-Dec-30 07:07 |
| faddeev.pwqp | 163 B | 2023-Dec-30 07:07 |
| affine.polylib | 172 B | 2023-Dec-30 07:07 |
| seghir-vd.pip | 200 B | 2023-Dec-30 07:07 |
| convex6.polylib | 206 B | 2023-Dec-30 07:07 |
| cg1.pip | 215 B | 2023-Dec-30 07:07 |
| toplas.pwqp | 225 B | 2023-Dec-30 07:07 |
| tobi.pip | 239 B | 2023-Dec-30 07:07 |
| convex1.polylib | 249 B | 2023-Dec-30 07:07 |
| convex13.polylib | 266 B | 2023-Dec-30 07:07 |
| convex8.polylib | 394 B | 2023-Dec-30 07:07 |
| sor1d.pip | 398 B | 2023-Dec-30 07:07 |
| convex2.polylib | 438 B | 2023-Dec-30 07:07 |
| esced.pip | 616 B | 2023-Dec-30 07:07 |
| brisebarre.pip | 991 B | 2023-Dec-30 07:07 |
| convex15.polylib | 2.5 KiB | 2023-Dec-30 07:07 |