issues
search
JuliaIntervals
/
IntervalConstraintProgramming.jl
Calculate rigorously the feasible region for a set of real-valued inequalities with Julia
Other
63
stars
16
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Document function macro
#168
mforets
closed
3 years ago
3
Paving incorrect for transcendental example from ACM TOMS paper on Filib++
#167
dpsanders
closed
6 months ago
2
Fix parsing of Interval RHS in Separator
#166
dpsanders
closed
6 months ago
1
Update Project.toml
#165
dpsanders
closed
4 years ago
0
Fix separators
#164
dpsanders
closed
4 years ago
0
Parallelotope enclosures and parametric Newton
#163
dpsanders
opened
4 years ago
0
Package is broken due to changes in ModelingToolkit
#162
dpsanders
closed
4 years ago
0
Revert "Add torus example"
#161
dpsanders
closed
4 years ago
0
Torus example
#160
dpsanders
closed
4 years ago
0
Add torus example
#159
dpsanders
closed
4 years ago
0
$ to `` and update docs packages
#158
Wikunia
closed
4 years ago
10
Install TagBot as a GitHub Action
#157
JuliaTagBot
closed
4 years ago
0
Throw useful error when there is no comparison operator in `Separator`
#156
dpsanders
opened
4 years ago
1
"<=" can be use in expression
#155
yashvardhan747
closed
7 months ago
1
Problem with external constant for the macro @constraint
#154
newptcai
opened
4 years ago
7
Fix docs deployment
#153
dpsanders
closed
5 years ago
0
Update Project.toml
#152
mforets
closed
5 years ago
2
Add documentation for using ModelingToolkit
#151
dpsanders
closed
3 years ago
5
Bugs with Separator and ModelingToolkit
#150
dpsanders
closed
6 months ago
2
Unexpected paving
#149
mforets
closed
5 years ago
7
Use macro for code generation
#148
dpsanders
closed
6 months ago
1
News.md updated
#147
yashvardhan747
closed
5 years ago
0
Do not sort variables by name
#146
yashvardhan747
closed
5 years ago
2
Do not sort variable names
#145
dpsanders
closed
5 years ago
0
Contractor((x,y) -> x) does not work
#144
dpsanders
closed
6 months ago
2
Output has too many parentheses
#143
dpsanders
closed
6 months ago
2
Allowing functions containing parameters for Contractor
#142
yashvardhan747
closed
7 months ago
3
Allowed parameters in contractor
#141
yashvardhan747
closed
5 years ago
2
Allow parameters in Contractor
#140
dpsanders
closed
6 months ago
1
Fixed the breaks by New version of ModelingToolkit
#139
yashvardhan747
closed
5 years ago
10
Breaks with new version of ModelingToolkit
#138
dpsanders
closed
5 years ago
1
New BasicContractor type is made
#137
yashvardhan747
closed
5 years ago
1
AbstractContractor and BasicContractor
#136
dpsanders
closed
5 years ago
3
Allowing C(X) for arbitrary vector X
#135
yashvardhan747
closed
5 years ago
1
Allow C(X) for arbitrary vector X, not just IntervalBox, when C is a Contractor
#134
dpsanders
closed
5 years ago
1
Few additions in parse_comparison and in separators and contractors
#133
yashvardhan747
closed
5 years ago
2
parse_comparison does not work for expression with ==
#132
dpsanders
closed
5 years ago
1
Contractor and Separator from variables and Operation
#131
dpsanders
closed
5 years ago
4
Allowing to create Separators by function
#130
yashvardhan747
closed
5 years ago
1
Allowing to create Contractor by function
#129
yashvardhan747
closed
5 years ago
2
Allow creating a Contractor from a function
#128
dpsanders
closed
5 years ago
0
Make standard functions work without macros
#127
dpsanders
closed
6 months ago
2
making module compatible for version 1.0 onwards
#126
yashvardhan747
closed
5 years ago
1
Rewrite separators to insist on having the same number of variables
#125
dpsanders
closed
5 years ago
1
Specifying variables
#124
yashvardhan747
closed
5 years ago
1
Specify variables for constraints
#123
dpsanders
closed
5 years ago
2
Unifying @function and @contractor
#122
yashvardhan747
closed
5 years ago
2
Initial integration of ModelingToolkit
#121
yashvardhan747
closed
5 years ago
5
Allow variables in constraints
#120
dpsanders
closed
5 years ago
1
Using gensym
#119
yashvardhan747
closed
5 years ago
3
Previous
Next