History | View | Annotate | Download (77 Bytes)
Fixed horn backend to make query for properties. More work needed for cex