Scripts for stress tests
[Example scripts (models)]

---

Detailed Description

These scripts are for stressing certain system features, typically the implementation of a particular constraint.

Classes
class	StressDistinct
	Example: Stress distinct propagator More...
class	StressDomain
	Example: Domain stress test More...
class	StressElement
	Example: Stress test for element constraint (involving integers) More...
class	StressExec
	Example: Execution stress test More...
class	StressExtensional
	Example: Stress extensional propagator More...
class	StressLinearBool
	Example: Stress linear Boolean inequality More...
class	StressMin
	Example: Stress test for the minimum constraint More...
class	StressSearch
	Example: Search stress test More...