Experiment to use Z3 for a layout component of the Verona Compiler. This has been published purely for shared debugging with Z3.
mjp41 / verona_bigtable_test Goto Github PK
View Code? Open in Web Editor NEWExperiment to use Z3 for a layout component of the Verona Compiler. This has been published purely for shared debugging with Z3.
License: MIT License