Opened 7 days ago

Last modified 7 days 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: future
Component: MC Keywords: sym


Change History (1)

comment:1 Changed 7 days ago by Henrich Lauko

Owner: changed from mornfall to Henrich Lauko
Status: newassigned
Note: See TracTickets for help on using tickets.