Compare projects
Project comparisons allow you to view any selection of projects side by side just like they're shown on regular categories or in search results. You can try out an example or start yourself by adding a library to the comparison via the input below. You can also easily share your current comparison with others by sending the URL of the current page.
0.0
A Ruby binding for CaDiCaL, a state-of-the-art incremental SAT solver.
The CaDiCaL C++ sources are vendored and compiled into the extension,
so there is no external dependency. Supports incremental solving, assumptions,
temporary constraints, fixed-literal queries and phase hints.
2021
2022
2023
2024
2025
2026