chisel-features

These are (mostly nonlocal) features designed to be used with chisel (an SMT decoder based on sampling algorithms).