LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

C++

cryptominisat

An advanced SAT solver

C++Emergingcdcl-algorithmcnfcryptographydpll

Stars

935

Forks

201

Contributors

8

Last push

7d ago

Recent commits

Latest commits.

Bump version to 5.14.6
5e1ee18Mate Soos7d ago
Update nix
2c1f5a5Mate Soos7d ago
Adding SKILL.md
78b3244Mate Soos15d ago
Refactoring for clarity (#818)
4d4a2b3Mate Soos15d ago
Fix BreakID build (#826)
5ffd651Mate Soos16d ago

Fix zlib download: use GitHub release instead of zlib.net

a046695Mate Soos23d ago

Add depth field to [simp-stats] and wrap OccSimplifier::finish_up

29f161aMate Soos26d ago

Wrap backbone_simpl with simp-stats and fix occ irred_long_cls count

ba44743Mate Soos26d ago

Top contributors

Builders behind this project.