5 Commits (5d7c2ea089f29fc93e845f235b9366b4495ee5a6)

Author	SHA1	Message	Date
Alinson S. Xavier	e9cd6d1715	Add types to remaining files; activate mypy's disallow_untyped_defs	5 years ago
Alinson S. Xavier	1cf6124757	Refer to variables by varname instead of (vname, index)	5 years ago
Alinson S. Xavier	f90f295620	Reorganize instance package	5 years ago
Alinson S. Xavier	332cdbd839	Update copyright year	5 years ago
Alinson S. Xavier	31ca45036a	Organize test fixtures; handle infeasibility in DropRedundant	5 years ago