5 Commits (74ceb776c3cc4688f3c3fadf8ca691fd6632644c)

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