ARGO-LIB: A generic platform for decision procedures. ARGO-LIB is a C++ library that provides support for using decision procedures and for schemes for combining and augmenting decision procedures. This platform follows the SMT-LIB initiative which aims at establishing a library of benchmarks for satisfiability modulo theories. The platform can be easily integrated into other systems. It also enables comparison and unifying of different approaches, evaluation of new techniques and, hopefully, can help in advancing the field.
References in zbMATH (referenced in 2 articles , 1 standard article )
Showing results 1 to 2 of 2.
- Marić, Filip; Janičić, Predrag: ARGO-LIB: A generic platform for decision procedures (2004)
- Tinelli, Cesare; Zarba, Calogero G.: Combining decision procedures for sorted theories (2004)