issues
search
ComputationWithBoundedResources
/
slogic
A s(imple)logic library providing interfaces to external solvers
BSD 3-Clause "New" or "Revised" License
0
stars
1
forks
source link
specialized methods for linear/non-linear constraints
#2
Open
mischel
opened
9 years ago