All combinator names together with their reflected type information.
The results to present.
Renders an overview page with access to all inhabitation results.
Renders an overview page with access to all inhabitation results.
the html code of the page.
Creates a Git containing the number
-th result.
Creates a Git containing the number
-th result.
index of the result to store.
term representation of the uninterpreted result.
Returns the uninterpreted raw representation of the number
-th inhabitant.
The computed result location (root/sourceDirectory)
Serves a file from the Git of all inhabitants.
Serves a file from the Git of all inhabitants.
file name relative to the Git root.
the file contents as an array of bytes.
The path (relative to the Git root) where to store solutions.
(Since version 2.6.0) Use TOO_MANY_REQUESTS instead
(Since version 2.6.0) Use TooManyRequests instead
Serves a website to access Git repositories with computed and serialized inhabitants. To get the website, just inherit from this class, implement the abstract fields/methods in
myresults.MyResults
and route like this:If there are multiple inhabitants they go into branches of the git hostet at
/myresults/myresults.git
.