Opened 7 years ago

Closed 6 years ago

#17 closed feature (fixed)

Generalize smt builder interface to be usable with different back-ends.

Reported by: Henrich Lauko Owned by: Henrich Lauko
Priority: major Milestone: 5.0
Component: MC Keywords: sym
Cc:

Description


Change History (3)

comment:1 Changed 7 years ago by Henrich Lauko

Owner: changed from mornfall to Henrich Lauko
Status: new → assigned

comment:2 Changed 7 years ago by mornfall

Milestone: future → 5.0

Milestone renamed

comment:3 Changed 6 years ago by Henrich Lauko

Resolution: → fixed
Status: assigned → closed
Note: See TracTickets for help on using tickets.