Ibex core

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:software
gptkbp:developedBy Ibex team
https://www.w3.org/2000/01/rdf-schema#label Ibex core
gptkbp:latestReleaseVersion 2023 (as of knowledge cutoff)
gptkbp:license gptkb:LGPL
gptkbp:officialWebsite https://www.ibex-lib.org/
gptkbp:programmingLanguage gptkb:C++
gptkbp:repository https://github.com/ibex-team/ibex-lib
gptkbp:supports contractors
real variables
nonlinear constraints
box consistency
branch and prune algorithms
gptkbp:usedFor constraint programming
global optimization
interval analysis
gptkbp:bfsParent gptkb:LowRISC
gptkbp:bfsLayer 6