LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

C++

sha1-sat

SAT instance generator for SHA-1

C++Emerging

Stars

6

Forks

3

Contributors

2

Last push

3mo ago

Recent commits

Latest commits.

Fixing staticcompile
e6347c1Mate Soos3mo ago
Adding argparse
56faee9Mate Soos23mo ago
Don't use boost
1d0790aMate Soos23mo ago
Fixing cmake
96bfd78Mate Soos30mo ago
Fixing missing include
fa8b145Mate Soos55mo ago
Fixing extra semicolon

d098d6dMate Soos67mo ago

Making sure the seed is given

45fbd9cMate Soos81mo ago

Adding new option

cee734fMate Soos81mo ago

Top contributors

Builders behind this project.