Copyright (c) 2011 David Van Horn Licensed under the Academic Free License version 3.0
(at dvanhorn (dot ccs neu edu))
Vucking vast vunctional fectors.
Based on Conchon and Filliaˆtre, ML Workshop 2007, which is based on Baker, CACM 1978.
To install:
raco pkg install fector