feat(modeler): allow writing model directly to BTOR2 file - Githubissues

cksystemsgroup / monster

Monster is a symbolic execution engine for 64-bit RISC-U code

https://cksystemsgroup.github.io/monster

MIT License

10 stars 3 forks source link

feat(modeler): allow writing model directly to BTOR2 file #166

Closed mstarzinger closed 2 years ago

mstarzinger commented 2 years ago

Co-authored-by: smml1996 michelle_muroya@hotmail.com