QComp Base Issue
@all I updated the project structure a bit, master branch is protected etc.
I'm currently working on unifying the class structure to make sense, see branch structure
. The state bounds object now should be very generic to use.
Could you add all things which are remaining so we can track it?
- Update class structure (Tobias)
- Incorporate ATVA'14 (Tobias+Pranav)
- Expression "parsing" (Pranav)
- Incorporate deflating (?) (Maxi)
- QComp Benchmarks (Maxi): @ga67vib Can you do that? Run Pranav's code on some on the models and see which work well.