pHL-RT/3.16 — Hybrid Language (Reasoning Tool)¶
| Type: | package |
|---|---|
| State: | under development and/or testing |
| Servers: | vm2, vm1 |
About¶
pHL-RT is just the container and sDL interface of the software dReal [1], which is an automated reasoning tool. pHL-RT is one of the lower level components of the pHL set of packages. It focuses on solving problems that can be encoded as first-order logic formulas over the real numbers. Its special strength is in handling problems that involve a wide range of nonlinear real functions. pHL-RT implements the framework of delta-complete decision procedures.
sDL structure¶
Follows the standard sDL structure:
//%SCOPE description text
#include "somefile"
BEGIN-CODE [ pHL-RT/3.16 | {package options} ]
{package commands}
END-CODE
Commented lines, in the CODE body text, start with “##”.
Namespaces and commands¶
The standard “core” namespace is available.
Folders¶
(information will be added later by the package administrator)