integration with atgt_smt

Combinatorial Interaction Testing Laboratory

Brought to you by: garganti, ilsergente93, parcaini, vavas726

Status: Accepted

Owner: nobody

Labels: None

Priority: Medium

Type: Enhancement

Updated: 2012-05-07

Created: 2012-05-07

Creator: Anonymous

Private: No

Originally created by: angelo.gargantini (code.google.com)
Originally owned by: angelo.gargantini (code.google.com)

A plugin using ATGT and Yices or Z3 should be a natural extension of CitLab. The code is already working for asmetaL.