CitLab / Tickets / #7 checking consistency of constraints

Combinatorial Interaction Testing Laboratory

#7 checking consistency of constraints

Status: Accepted

Owner: nobody

Labels: None

Priority: Medium

Type: Enhancement

Updated: 2012-05-07

Created: 2012-05-05

Creator: Anonymous

Private: No

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

The constraints could be checked if they are consistent using a smt solver or any other library (like choco used by acts). The user could have an immediate feedback (warning with a marker) or ask for a vakidation step. The system should give the user some help to identify the problem source.

Discussion

Comment has been marked as spam.
Undo

View and moderate all "tickets Discussion" comments posted by this user

Mark all as spam, and block user from posting to "Tickets"

Anonymous - 2012-05-07

Originally posted by: angelo.gargantini (code.google.com)

Possible candidates are:
http://www.emn.fr/z-info/choco-solver/
or yices (if we plan to embed atgt_smt)

*Originally posted by:* [angelo.gargantini](http://code.google.com/a/eclipselabs.org/u/angelo.gargantini/) Possible candidates are: [http://www.emn.fr/z-info/choco-solver/](http://www.emn.fr/z-info/choco-solver/) or yices \(if we plan to embed atgt\_smt\)

Add attachments
Cancel
You seem to have CSS turned off. Please don't fill out this field.

You seem to have CSS turned off. Please don't fill out this field.

New Attachment:

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

checking consistency of constraints

Combinatorial Interaction Testing Laboratory

Searches

Help

#7 checking consistency of constraints

Discussion