PyECDAR

lp:pyecdar

Created by Louis-Marie Traonouez and last modified
Get this branch:
bzr branch lp:pyecdar
Only Louis-Marie Traonouez can upload to this branch. If you are Louis-Marie Traonouez please log in for upload directions.

Related bugs

Related blueprints

Branch information

Owner:
Louis-Marie Traonouez
Project:
PyECDAR
Status:
Development

Recent revisions

4. By Louis-Marie Traonouez (<email address hidden>)

Upadting demo

3. By Louis-Marie Traonouez (<email address hidden>)

Adding demo

2. By Louis-Marie Traonouez (<email address hidden>)

New refinement checking technique.
CEGAR algorithm to compute the maximum perturbation for robust satisfaction.

1. By Louis-Marie Traonouez (<email address hidden>)

Uploading project

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
This branch contains Public information 
Everyone can see this information.