Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Cadet

A fast and certifying solver for quantified Boolean formulas.
Stars
10
License
other
Open Issues
0
Most Recent Commit
3 years ago
Programming Language
C
Categories
Site
Repo
Suggest An Alternative To cadet
Popular Certificate Projects
Mkcert ⭐ 45,055
A simple zero-config tool to make locally trusted development certificates with any names you'd like.
dependent packages 8total releases 15latest release April 26, 2022most recent commit 2 months ago
Teleport ⭐ 15,729
Protect access to all of your infrastructure.
dependent packages 8total releases 252latest release July 29, 2021most recent commit 3 months ago
Frida ⭐ 14,127
Clone this repo to build Frida
dependent packages 2total releases 311latest release November 28, 2023most recent commit 3 months agonpm frida-gadget-ios} Downloads
Whistle ⭐ 13,399
HTTP, HTTP2, HTTPS, Websocket debugging proxy
dependent packages 21total releases 572latest release December 08, 2023most recent commit 3 months agonpm whistle} Downloads
Popular Sat Solver Projects
Cryptominisat ⭐ 767
An advanced SAT solver
dependent packages 2total releases 1latest release January 25, 2019most recent commit 3 months ago
Gophersat ⭐ 353
gophersat, a SAT solver in Go
dependent packages 17total releases 19latest release November 24, 2023most recent commit 3 months ago
Yices2 ⭐ 345
The Yices SMT Solver
most recent commit 3 months ago
Popular Security Categories
Security
Token
Authentication
Password
Oauth
Scanner
Cryptography
Ssh
Role
Session
Related Searches
C Certificate
C Circuit
C Sat Solver
Certificate Circuit
Circuit Sat Solver
Sat Solver Boolean Satisfiability

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C
Certificate
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.