search

pstlab / oRatio

oRatio is an Integrated Logic and Constraint based solver
Apache License 2.0
6 stars 1 forks source link

JSON from flaws and resolvers #15

Closed riccardodebenedictis closed 4 years ago

riccardodebenedictis commented 4 years ago

Flaws and resolvers should return a JSON so as to allow interfaces to extract information from them.