Commit 40427838 authored by lh1887's avatar lh1887
Browse files

Merge branch 'add-constrained-types' into 'feature/new_tnnmg'

Add 'ConstrainedMatrix' and 'ConstrainedBitVector' to linearizations

See merge request !6
parents 1afd983b 2b8554aa
Pipeline #7488 passed with stage
in 3 minutes and 31 seconds