Zat is an Onagan project. It is a very fast sat solver for .cnf, .dimacs, ...

Zat is an O(n^log(n)) time complexity algorithm, which is faster than O((1+e)^n) for e strictly positive. The space complexity is O(n). The version 1.0 is exclusively for Windows 10.

Features

  • Fast
  • Easy to use
  • Callable
  • Totally free
  • No adds

Project Samples

factorization

Project Activity

See All Activity >

License

Apache License V2.0, GNU Library or Lesser General Public License version 3.0 (LGPLv3), MIT License

Follow Zat 1.0

Zat 1.0 Web Site

Other Useful Business Software
Stop Storing Third-Party Tokens in Your Database Icon
Stop Storing Third-Party Tokens in Your Database

Auth0 Token Vault handles secure token storage, exchange, and refresh for external providers so you don't have to build it yourself.

Rolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
Try Auth0 for Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Zat 1.0!

Additional Project Details

Operating Systems

Windows

Languages

English

Intended Audience

Information Technology, Science/Research, Security, Testers

User Interface

Console/Terminal

Programming Language

Python

Registered

2020-06-04
Report inappropriate content