Dataset supporting the paper 'Integration of SMT-LIB Support into Maple'
Description
This dataset provides a listing of all distinct queries to the Maple commands is and coulditbe which occurred in the course of a complete run through the Maple library test suite using Maple 2017 on 26 July 2017. The results include: 24085 distinct queries to is (which tests if a given proposition holds universally) - see file is_queries.txt 5771 distinct queries to coulditbe (which tests if given proposition is satisfiable) - see file coulditbe_queries.txt The files are plaintext and each line corresponds to a distinct query. Queries are in Maple syntax and adhere to one of the following patterns: coulditbe(X) coulditbe(X) assuming Y is(X) is(X) assuming Y Here, X is the expression being tested (in Maple syntax) and Y is an expression sequence of one or more assumptions on symbols appearing in X.
Resources
| Name |
Format |
Description |
Link |
|
0 |
|
http://data.europa.eu/88u/dataset/oai-zenodo-org-943349 |
|
0 |
|
http://data.europa.eu/88u/dataset/oai-zenodo-org-943349 |
|
0 |
|
http://data.europa.eu/88u/dataset/oai-zenodo-org-943349 |