Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Sat Solver

Library for solving packages and reading repositories (superseded by libsolv)
Stars
7
License
other
Open Issues
0
Most Recent Commit
5 years ago
Programming Language
C
Categories
Site
Repo
Alternatives To Sat Solver
Select To Compare
Json ⭐ 38,831
JSON for Modern C++
dependent packages 9total releases 11most recent commit 5 months ago
Folly ⭐ 26,664
An open-source C++ library developed and used at Facebook.
dependent packages 7total releases 3most recent commit 5 months ago
Libuv ⭐ 22,767
Cross-platform asynchronous I/O
dependent packages 13total releases 2most recent commit 5 months ago
Vcpkg ⭐ 21,957
C++ Library Manager for Windows, Linux, and MacOS
total releases 22most recent commit 24 days ago
Foundationdb ⭐ 13,602
FoundationDB - the open source, distributed, transactional key-value store
dependent packages 70total releases 199most recent commit 5 months ago
Abseil Cpp ⭐ 13,209
Abseil Common Libraries (C++)
dependent packages 15total releases 11most recent commit 5 months ago
Brotli ⭐ 12,866
Brotli compression format
dependent packages 328total releases 9most recent commit 5 months agopypi Brotli} Downloads


Suggest An Alternative To sat-solver
Popular Build Tools Categories
Makefile
Cmake
Gradle
Builder
Grunt
Jar
Installer
Apk
Sbt
Bundler

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