nzbr/vlogsolv

vlogsolv is a small command line program that calculates value tables for logical expressions