gitlab.com topics: z3
ipynb/z3
precompile z3 binary for linux amd64
Last synced at: over 2 years ago - Stars: 1 - Forks: 0
MatthijsSpaans/vs-eca-analyser
Visual studio enabled version of RECA, analyser for the energy usage of hybrid systems (software and hardwaremodels). Extended with symbolic execution and over-estimating stragies for the summarization of iterative branching(loops)
Last synced at: over 2 years ago - Stars: 0 - Forks: 1
Related Keywords