General-purpose Tools
General-purpose tools provide a natural counterpoint to CIRL's ongoing
development of high performance tools in specific areas. While the
performance of the general tools is typically not as good as that of
specialized code, the general-purpose work provides a springboard from
which other applications can be built. General-purpose tools can be
used to obtain preliminary estimates of the effectiveness of a
technique on a new type of problem; in some cases, the tools
themselves are sufficiently efficient that no specialized
implementation needs to be built.
Parent areas:
Applications
Subareas:
Satisfiability
Workflow
Planning
Back to the CIRL Overview Page.