search

mpelleau / AbSolute

Constraint solver based on abstract domains
GNU Lesser General Public License v3.0
30 stars 7 forks source link

Expr.eval fails on function #16

Closed ghilesZ closed 1 year ago

ghilesZ commented 1 year ago

self explanatory