Comment

Jy betaal vir die neembewyse 'n ooreenstem gebruik, teen die gepubliseerde per-model tempo. Daar is geen intekening en geen sitplekgeld nie.

Voorbetaalde krediet

Bo jou balans en bestee dit as vuurhoutjies wat loop. Elke vuurhoutjie het 'n bestedingsgrens wat jy gestel het voordat dit begin; bereik die limiet stop die ooreenstem eerder as om voort te gaan om te spandeer, en 'n wagtende vuurhoutjie hervat presies waar dit gestop het.

Bo-ope begin op $5. Die eer verval nie, en ongebruikte krediet is herverhalbaar op versoek.

Skep 'n rekening
Nuwe rekeninge begin krediet ← genoeg vir 'n regte wedstryd.
Bring u eie sleutel

Verbind jou eie inference sleutel en jy betaal jou verskaffer direk. Ons maak jou niks per bewys.

Die gratis toelae hieronder is'n infrastruktuurgeld van toepassing op die feit dat die paneel, die gereedskap en die berging bedek word. Die roep wat oor die drumpel gaan, word geadminiteer, nie heel gelug nie.

  • Vrytoelae: $5.00
  • Infrastruktuurgelde na die: 5%
Wat 'n ooreenstemskoste

Koste hang af van watter modelle jy sit, hoeveel sitplekke daar is en hoeveel rondtes die paneel nodig het. 'n Kort vuurhoutjie op die midter modelle is sente; 'n lang een op die sterkste modelle met 'n formele-vaste staaf is dollars. Die per-miljoen-totken tempo vir elke model word in vol gepubliseer.

Twee ontwerpkeuses hou die getal af: die paneel werk van 'n gedeelde leier eerder as om die hele transkripsie elke rondte te herlees, so koste groei met wat vasgestel is en nie met die rondte nie; en 'n gestookte sitplek gee een vraag aan 'n ander sitplek in plaas van te herring homself teen volle prys.

Sien elke model en tempo
Wat ons nie vra nie
  • Werk wat nie gebeur het nie.'n Pas wat deur'n verskaffer buiteverwerking onderbreek is, word tydelik onderbreek, nie gebier nie.
  • Lektuur opkyke, SMT oplos, rekenaar-algebra hardloop en Lean formalisation. Die gereedskap is deel van die produk, nie 'n byvoegsel nie.
  • Sitplekke, gebruikers of gepubliseerde vuurhoutjies. Daar is geen per-eet of per-gebruikerlisensie nie.