/*
* Interface to formula encodings
*/
sig formulas.
accum_sig logic, nonlogical.
kind name type.
type bugs, baffler, cases1 name.
type formula name -> bool -> o.
distrib
>
Mandriva
>
8.2
>
i586
>
media
>
contrib
>
by-pkgid
>
8a80864b07c5f16e9ba9be320c149cfa
>
files
>
79
