margus
-
- 14,806 total downloads
- last updated 12/7/2016
- Latest version: 4.5.0.1
Contains Microsoft.Z3.dll version 4.5.0 for platform x64, the helper file libz3.dll and the tool z3.exe -
- 6,732 total downloads
- last updated 12/7/2016
- Latest version: 4.5.0.1
Contains Microsoft.Z3.dll version 4.5.0 for platform x86, the helper file libz3.dll and the tool z3.exe -
Automata.
by: margusx64 - 1,626 total downloads
- last updated 7/1/2017
- Latest version: 1.0.0
Automata and transducer library for .NET