(C1) The output should contain only those NxN patterns of pixels that are present in the input. (Weak C2) Distribution of NxN patterns in the input should be similar to the distribution of NxN ...
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
Feedback