All public logs

Combined display of all available logs of Boolean. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 15:39, 4 October 2019 Ivi062 talk contribs uploaded File:CCZeq.txt (Given two functions in univariate form, returns true if they are CCZ-equivalent and false otherwise. To do so, it checks the equivalence of the codes generated by the two functions. <b>Due to the amount of memory required to compute the equivalence...)