Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Picologic

Symbolic logic expressions
Stars
11
License
mit
Open Issues
0
Most Recent Commit
4 years ago
Programming Language
Haskell
Total Releases
5
Latest Release
May 22, 2017
Categories
Repo
Alternatives To Picologic
Select To Compare
Cryptominisat ⭐ 767
An advanced SAT solver
dependent packages 2total releases 1most recent commit 5 months ago
Gophersat ⭐ 353
gophersat, a SAT solver in Go
dependent packages 17total releases 19most recent commit 5 months ago
Yices2 ⭐ 345
The Yices SMT Solver
most recent commit 6 months ago
Phil ⭐ 260
A crossword maker.
most recent commit a year ago
Varisat ⭐ 211
SAT solver written in Rust
dependent packages 5total releases 2most recent commit 2 years 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 picologic
Popular Security Categories
Security
Token
Authentication
Password
Oauth
Scanner
Cryptography
Ssh
Role
Session
Related Searches
Shell Haskell
Shell Symbolic
Haskell Symbolic
Haskell Sat Solver

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