soonho-tri drake issues

soonho-tri / drake

A planning, control, and analysis toolbox for nonlinear dynamical systems. More info at

http://drake.mit.edu

Other

1 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

fixup! target existing spaghetti code

#30 EricCousineau-TRI closed 3 years ago
0
Make Polynomial / Monomial compatible with ordered/unordered set/map

#29 soonho-tri opened 7 years ago
1
Make `Polynomial& Add(const Expression& coeff, const Monomial& m)` public

#28 soonho-tri opened 7 years ago
0
Merge drake::Polynomial<T> and drake::symbolic::Polynomial

#27 soonho-tri opened 7 years ago
0
Add SOS (to upstream/master)

#26 soonho-tri closed 7 years ago
0
Enable Eigen::Matrix<symbolic::Polynomial> + operator overloading

#25 soonho-tri opened 7 years ago
0
Add divide by constant in expand

#24 soonho-tri closed 7 years ago
2
Pr patch new free polynomail

#23 moritzkuhne closed 7 years ago
2
Pr variables conversion constructor

#22 moritzkuhne closed 7 years ago
1
add unit tests for symbolic_polynomial + linking of symbolic_polynomi…

#21 moritzkuhne closed 7 years ago
1
Add a sos test

#20 hongkai-dai closed 7 years ago
1
Polynomial product

#19 hongkai-dai closed 7 years ago
4
Add sos_constraint_test in cmake

#18 soonho-tri closed 7 years ago
1
Add AddSosConstraint(const symbolic::Expression& e)

#17 soonho-tri closed 7 years ago
4
Add NewFreePolynomial, NewSosPolynomial, AddSosConstraint

#16 soonho-tri closed 7 years ago
12
Make symbolic polynomial Eigen compatible

#15 soonho-tri closed 7 years ago
2
Add symbolic polynomial

#14 soonho-tri closed 7 years ago
12
symbolic variable

#13 soonho-tri closed 7 years ago
0
add vector type, and extend basic operations for that

#12 soonho-tri closed 7 years ago
0
add integral in Expr

#11 soonho-tri opened 8 years ago
0
make symbolic::expr eigen-compatible scalar-type

#10 soonho-tri closed 8 years ago
1
add NNF-ize, CNF-ize

#9 soonho-tri closed 7 years ago
0
add boolean variable

#8 soonho-tri closed 7 years ago
0
Have a routine that translate SymFormula into dReal problem and solve

#7 soonho-tri opened 8 years ago
0
Try system2 block with SymExpr as a ScalarType

#6 soonho-tri closed 7 years ago
0
Caching in building SymExpr, SymFormula

#5 soonho-tri opened 8 years ago
0
sub classes of variables?

#4 soonho-tri closed 7 years ago
0
add exists/forall to SymFormula

#3 soonho-tri closed 7 years ago
0
add DrealSolver class

#2 soonho-tri closed 6 years ago
0
connect dReal as an external project

#1 soonho-tri closed 8 years ago
0