JuliaIntervals/IntervalConstraintProgramming.jl
Calculate rigorously the feasible region for a set of real-valued inequalities with Julia
JuliaNOASSERTION
Issues
- 4
- 2
Remove the macro interface?
#216 opened by dpsanders - 2
Make standard functions work without macros
#127 opened by dpsanders - 2
Bugs with Separator and ModelingToolkit
#150 opened by dpsanders - 1
Use macro for code generation
#148 opened by dpsanders - 2
Output has too many parentheses
#143 opened by dpsanders - 1
Allow parameters in Contractor
#140 opened by dpsanders - 1
- 2
Unify `@function` and `@contractor`
#113 opened by dpsanders - 2
Contractor((x,y) -> x) does not work
#144 opened by dpsanders - 2
- 4
Update to using Symbolics
#172 opened by mforets - 1
Allow constraints like x > 0
#174 opened by dpsanders - 1
Non-empty inner set for `y == log(x)`
#214 opened by dpsanders - 2
Removing `refine!` from export list
#208 opened by aafsar - 4
StackOverflow with sin
#213 opened by dpsanders - 13
TagBot trigger issue
#178 opened by JuliaTagBot - 7
- 2
Use RuntimeGeneratedFunctions.jl instead of eval
#183 opened by dpsanders - 0
Implement binary tree for pavings
#193 opened by dpsanders - 1
- 1
`integerize` contractor and integer solutions
#187 opened by dpsanders - 3
C(constraint, X) should return C(X)
#171 opened by dpsanders - 2
Adding functions that work with @contractor
#169 opened by MartinDAndersson - 5
Add documentation for using ModelingToolkit
#151 opened by dpsanders - 0
Remove use of DynamicPolynomials
#176 opened by dpsanders - 3
Document function macro
#168 opened by mforets - 0
Don't use variables `t1` etc. in code generation
#173 opened by dpsanders - 0
Package is broken due to changes in ModelingToolkit
#162 opened by dpsanders - 0
Parallelotope enclosures and parametric Newton
#163 opened by dpsanders - 1
- 7
Unexpected paving
#149 opened by mforets - 0
Do not sort variable names
#145 opened by dpsanders - 3
AbstractContractor and BasicContractor
#136 opened by dpsanders - 1
Breaks with new version of ModelingToolkit
#138 opened by dpsanders - 1
Allow C(X) for arbitrary vector X, not just IntervalBox, when C is a Contractor
#134 opened by dpsanders - 4
- 1
- 5
Use MultivariatePolynomials to constraint
#117 opened by mforets - 0
Allow creating a Contractor from a function
#128 opened by dpsanders - 1
Using the result of a ConstraintFunction twice does not generate new variables
#107 opened by dpsanders - 1
Allow variables in constraints
#120 opened by dpsanders - 1
- 1
Use gensym
#118 opened by dpsanders - 2
Specify variables for constraints
#123 opened by dpsanders - 1
Constants not working on Julia 1.0
#103 opened by dpsanders - 1
Make assigned variables unique
#108 opened by dpsanders - 0
Link to Set%20inversion.ipynb broken
#114 opened by arbenede - 1
Add check that result of forward pass does not intersect constraint before reverse pass
#115 opened by dpsanders - 1
Bug in mul_rev
#99 opened by dpsanders