CArL 24.04

Merge branch 'development' into 'master'

Development

See merge request ths/smt/carl!28

CArL 24.02

Add support for quantified theories LRA, NRA.

CArL 23.05

Merge branch 'development' into 'master'

Handle variables not contained in LPContext

See merge request ths/smt/carl!26

CArL 22.12

Merge branch 'development' into 'master'

fix gtest in cluster

See merge request ths/smt/carl!24

pub/fmplex-1

update compiler-options

pub/subtropical-1

minor

CArL 22.11

Merge branch 'development' into 'master'

Development

See merge request ths/smt/carl!20

pub/onecell-1

revert last commit