Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.
BSD 2-Clause "Simplified" License
2
stars
4
forks
source link
Get SolveForFactor to also work for Inequalities #157
Open
tpops opened 2 years ago
SolveForFactor solves for a term in an expression. Right now IEGenLib does not currently support inequalities, it assumes equality.