#include <cassowary/Cl.h>

int main()
{
  ClVariable *var = new ClVariable();
  ClSimplexSolver *solver = new ClSimplexSolver();
  ClStayConstraint *stcn = new ClStayConstraint(*var,ClsWeak(),1.0);

  cout << *solver;
  solver->AddConstraint(*stcn);
  cout << *solver;
  solver->RemoveConstraint(*stcn);
  cout << *solver;
}
/*
The result is a segmentation fault when the constraint is removed.  I
don't understand why.

Anthony Beurive'" <beurive@labri.u-bordeaux.fr>
*/