ARGO-LIB swMATH ID: 2619 Software Authors: Marić, Filip; Janičić, Predrag Description: 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. Homepage: http://www.springerlink.com/content/240bbrk5athrj4xf/fulltext.pdf Programming Languages: C++ Related Software: SMT-LIB; CVC Cited in: 2 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year ARGO-LIB: A generic platform for decision procedures. Zbl 1126.68572Marić, Filip; Janičić, Predrag 2004 Cited by 4 Authors 1 Janičić, Predrag 1 Marić, Filip 1 Tinelli, Cesare 1 Zarba, Calogero G. Cited in 0 Serials Cited in 1 Field 2 Computer science (68-XX) Citations by Year