Benoit Chevallier-Mames ee832079ba fix: remove the use of map in the code base ...

closes #90

2021-08-06 16:51:19 +02:00

..

bounds_measurement

fix: remove the use of map in the code base

2021-08-06 16:51:19 +02:00

data_types

dev(floats): update function to mix types to support floats

2021-08-05 18:15:45 +02:00

representation

feat: adding constant management

2021-08-03 16:49:46 +02:00

tracing

chore: remove reference to package name and file paths

2021-08-02 13:01:52 +02:00

test_common_helpers.py

dev: add a function to check that a program is an actual integer program

2021-08-03 18:53:09 +02:00