Code

Cspace iris#42

Code

Closed

RussTedrake wants to merge 6 commits intoRussTedrake:cspace_irisRussTedrake/drake:cspace_irisfrom soonho-tri:cspace_irissoonho-tri/drake:cspace_irisCopy head branch name to clipboard

+1,312-20

Commits

Commits on Jul 21, 2021

• WIP: add IbexSolver

  RussTedrake

  committed
  42bee5e

  Copy full SHA for 42bee5e

• cc

  

  soonho-tri

  authored and

  RussTedrake

  committed
  3ec9250

  Copy full SHA for 3ec9250

• Add IbexConverter and Update IbexSolver

  

  soonho-tri

  authored and

  RussTedrake

  committed
  3e61acf

  Copy full SHA for 3e61acf

Commits on Jul 25, 2021

• WIP: IRIS in configuration space

  RussTedrake

  committed
  dbf0ead

  Copy full SHA for dbf0ead

• lint brush

  soonho-tri

  committed
  15a55d3

  Copy full SHA for 15a55d3

• Add 'AddFormula' and handles conjunctions

  soonho-tri

  committed
  9e59ccd

  Copy full SHA for 9e59ccd