search

boogie-org / symbooglix

Symbolic Execution Engine for Boogie
MIT License
28 stars 4 forks source link

Split Symbooglix.dll #17

Open delcypher opened 8 years ago

delcypher commented 8 years ago

It should be split into separate components.