% Benchmarks from Badros2001_cassowary
%
% - <https://constraints.cs.washington.edu/cassowary/>,
% - <https://constraints.cs.washington.edu/solvers/cassowary-tochi.pdf>
@article{Badros2001_cassowary,
	title={The Cassowary linear arithmetic constraint solving algorithm},
	volume={8},
	ISSN={1073-0516},
	url={http://dx.doi.org/10.1145/504704.504705},
	DOI={10.1145/504704.504705},
	number={4},
	journal={ACM Transactions on Computer-Human Interaction},
	publisher={Association for Computing Machinery (ACM)},
	author={Badros, Greg J. and Borning, Alan and Stuckey, Peter J.},
	year={2001},
	month={Dec},
	pages={267–306}
}