Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Docker Images

SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
Stars
36
License
mit
Open Issues
23
Most Recent Commit
2 years ago
Programming Language
Python
Total Releases
17
Latest Release
July 10, 2020
Categories
Repo
Suggest An Alternative To docker-images
Popular Archive Projects
Vim ⭐ 34,054
The official Vim repository
total releases 1,494latest release October 28, 2022most recent commit 3 months ago
Jmeter ⭐ 7,700
Apache JMeter open-source load testing tool for analyzing and measuring the performance of a variety of services
dependent packages 75total releases 27latest release July 11, 2023most recent commit 3 months ago
Manifest ⭐ 7,240
Component for reading phar.io manifest information from a PHP Archive (PHAR)
dependent packages 13total releases 8latest release July 20, 2021most recent commit a year agopackagist phar-io/manifest} 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 Data Storage Categories
Database
Mysql
Redis
Mongodb
Postgresql
Firebase
Elasticsearch
Backup
Sqlite
Archive
Related Searches
Python Docker
Python Reproducibility
Python Archive
Docker Reproducibility
Python Sat Solver
Python Sat
Docker Archive

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