Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Swiftsat

An implementation of the DPLL boolean satisfiability algorithm in Swift
Stars
6
License
mit
Open Issues
0
Most Recent Commit
7 years ago
Programming Language
Swift
Categories
Repo
Alternatives To Swiftsat
Select To Compare
Python ⭐ 175,076
All Algorithms implemented in Python
dependent packages 3total releases 8most recent commit 4 months agonpm tda} Downloads


Suggest An Alternative To SwiftSAT
Popular Computer Science Categories
Algorithms
Search
Graph
Stack
Hash
Vector
Data Structure
Matrix
Struct
Sort

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