tree 69538f84ca4e21f253c0644769a8821ad73d31ab
parent ff86b01d3adfbe4acdc83091adc398956b53ea28
author Sapan Bhatia <gwsapan@gmail.com> 1498210365 -0700
committer Sapan Bhatia <gwsapan@gmail.com> 1498210391 -0700

Support for policies in first-order logic