Opened 4 months ago

Last modified 3 months ago

#17 assigned feature

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 (2)

comment:1 Changed 4 months ago by Henrich Lauko

Owner: changed from mornfall to Henrich Lauko
Status: newassigned

comment:2 Changed 3 months ago by mornfall

Milestone: future5.0

Milestone renamed

Note: See TracTickets for help on using tickets.