;  This is the thrown ball model for CQ
;  A ball is thrown upwards, rises for a while, reaches peak height, then
;  begins falling.

  (quantity-spaces
	(y	(minf  0  inf))
	(v	(minf  0  vv  inf))
	(a	(minf  aa  0)))

  (independent 	a)

  (constraints
	((d//dt  y  v))
	((d//dt  v  a)))

  (print-names
	(y	"height(ball)"		Y)
	(v	"velocity(ball)"	V)
	(a	"acceleration(gravity)"	A))

  (make-initial-state
	(y    (0   inc))
	(v    (vv  dec))
	(a    (aa  std)))
