temporary files for constraint solver connection