Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Tt

a Pythonic toolkit for working with Boolean expressions
Stars
197
License
mit
Open Issues
2
Most Recent Commit
4 years ago
Programming Language
Python
Monthly Downloads
pypi ttable Downloads
Dependent Repos
2
Dependent Packages
1
Total Releases
10
Latest Release
May 11, 2020
Categories
Site
Repo
Alternatives To Tt
Select To Compare
Cryptominisat ⭐ 767
An advanced SAT solver
dependent packages 2total releases 1most recent commit 3 months ago
Gophersat ⭐ 353
gophersat, a SAT solver in Go
dependent packages 17total releases 19most recent commit 3 months ago
Yices2 ⭐ 345
The Yices SMT Solver
most recent commit 4 months ago
Phil ⭐ 260
A crossword maker.
most recent commit 9 months ago
Varisat ⭐ 211
SAT solver written in Rust
dependent packages 5total releases 2most recent commit a year agocargo varisat-formula} Downloads
Tt ⭐ 197
a Pythonic toolkit for working with Boolean expressions
dependent packages 1total releases 10most recent commit 4 years agopypi ttable} Downloads


Suggest An Alternative To tt
Popular Security Categories
Security
Token
Authentication
Password
Oauth
Scanner
Cryptography
Ssh
Role
Session
Related Searches
Python Pythonic
Python Boolean
Python Sat Solver
Python Sat
Sat Solver Satisfiability
Sat Satisfiability
Boolean Sat Solver
Python Satisfiability
Python Boolean Algebra

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Python
Pythonic
Sat Solver
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.