Support materials for http://www.win-vector.com/blog/2014/09/what-is-a-win-vector/

Java code implementing the zero/one (or even/odd) integer solution counting technique from:

@article{CPC:54639,
author = {Mount, John},
title = {Fast Unimodular Counting},
journal = {Combinatorics, Probability and Computing},
volume = {9},
issue = {03},
month = {5},
year = {2000},
issn = {1469--2163},
pages = {277--285},
numpages = {9},
doi = {null}
}

See RunTime.pdf for a fixed bounding argument about the zero/one even/odd algorithm's runtime.