This extension is currently in experimental/development phase and is NOT ready for production use. Features may be unstable or incomplete Breaking changes may occur ...
Given an input PQE in SMT-LIB format and an optional config file, PolyQEnt finds a valuation of the unknown variables in the input such that all the PQEs are satisfied. PolyQEnt is written in Python ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results