specmicp/examples/reactmicp/unsaturated/drying.cpp

fixpoint