Add support for writing IPv4 addresses and prefixes in NV (e.g. 192.168.0.1/32). So far we've been converting them to integers but this makes things less readable. Instead, we should do the conversion internally.
Another question is how to convert back to prefix form when printing the computed solutions/counterexamples. Perhaps it can be achieved through some user-defined annotations/printers for the solutions.
Add support for writing IPv4 addresses and prefixes in NV (e.g.
192.168.0.1/32). So far we've been converting them to integers but this makes things less readable. Instead, we should do the conversion internally.Another question is how to convert back to prefix form when printing the computed solutions/counterexamples. Perhaps it can be achieved through some user-defined annotations/printers for the solutions.