Your connection (http) is not secure.
Our website has implemented HTTPS via Let's Encrypt and supports the secure connection SSL.
Please try to connect with HTTPS.
If you keep seeing the SSL error Net::ERR_CERT_DATE_INVALID, your browser may be out of date. Especially if your mobile android is older than Android-8.
Please update your browser or try using another modern browser.
Sorry for this inconvenience.
We still make available for everyone to free try our computation.
Thanks.
Best Regards.
MatchLogicFunction PermuteLogicFunction IsSelfAntiDualFunction Binary FromBinary List MaxValue MinValue BinaryNumberToString PureBinary binary ToAndXor ToOrAnd ToDualFunction ToShannonTree ToSOP Load MantissaToPositiveNumber object MaxSAT Sequential HuffmanMealy Canonical SimpleCover StateTransition AdjustLogicVariableCount SemanticEval ShrinkLogicFunction var() Zero