CDCL(Crypto) SAT solver for cryptanalysis problems
☆12Mar 5, 2021Updated 5 years ago
Alternatives and similar repositories for CDCL-Crypto
Users that are interested in CDCL-Crypto are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Management of Benchmark Instances and Instance Attributes☆21May 22, 2026Updated 2 weeks ago
- ☆12Sep 30, 2024Updated last year
- The SAT and QBF Programming Language Bule☆22Jul 19, 2024Updated last year
- A research platform and active library for generalised SAT solving☆33Jun 12, 2025Updated 11 months ago
- Demonstration project for react-native-v8 on iOS☆13Jan 5, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Snapshot testing made for java☆13May 9, 2023Updated 3 years ago
- 非官方版大连海事大学学位论文LaTeX模板. Unofficial LaTeX Thesis Template for Dalian Maritime University.☆17Jan 31, 2026Updated 4 months ago
- qTESLA Library, an optimized implementation of the post-quantum lattice-based digital signature scheme qTESLA.☆26Aug 31, 2022Updated 3 years ago
- Boilerplate of step-by-step instructions of my blog post☆15Nov 20, 2018Updated 7 years ago
- Start using TM & JSI for a performant sync-storage☆17Jan 5, 2023Updated 3 years ago
- 全国密码技术竞赛论文 latex模板☆19Sep 11, 2025Updated 8 months ago
- Eclipse Tutorial☆10Dec 23, 2015Updated 10 years ago
- ☆21Nov 2, 2019Updated 6 years ago
- Brave quest of 16 students to make MOWNiT even better again!☆14Dec 17, 2018Updated 7 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 收集所有同学博客～☆18Sep 2, 2024Updated last year
- Cube-and-Conquer SAT solver☆44Jul 14, 2025Updated 10 months ago
- Bulk transfer GitHub issues with puppeteer☆23Nov 4, 2020Updated 5 years ago
- Selftrace React Native app☆19Jul 19, 2020Updated 5 years ago
- Source code for all entries from the 2023 ZPrize competition☆26Jan 29, 2026Updated 4 months ago
- Touchable scale using gesture handler and reanimated V2☆23Aug 12, 2021Updated 4 years ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆41Dec 18, 2022Updated 3 years ago
- ☆11Nov 3, 2021Updated 4 years ago
- ☆14Jul 25, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆20Jul 2, 2021Updated 4 years ago
- Easy way to create 60fps animations using https://github.com/kmagiera/react-native-reanimated☆21Sep 24, 2019Updated 6 years ago
- cve-2019-0808-poc☆48Mar 25, 2019Updated 7 years ago
- Automatically updated Material Design themed CV (template & personal)☆24May 31, 2026Updated last week
- A fork of https://github.com/SafeBreach-Labs/pinjectra with a practical implementation of Stack Bombing☆28Oct 22, 2020Updated 5 years ago
- LaTeX template for Dalian Maritime University Graduation Thesis☆19May 27, 2013Updated 13 years ago
- ☆13Oct 14, 2016Updated 9 years ago
- ☆11Dec 8, 2022Updated 3 years ago
- Kernel Shellcode to add all privileges in token☆15Mar 13, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A react native tree view component☆26Mar 22, 2021Updated 5 years ago
- espresso logic minimizer (https://embedded.eecs.berkeley.edu/pubs/downloads/espresso/index.htm)☆17Oct 29, 2022Updated 3 years ago
- Successfully training approximations to full-rank matrices for efficiency in deep learning.☆16Jan 5, 2021Updated 5 years ago
- Encoding different problems into Boolean satisfiability☆12Sep 29, 2022Updated 3 years ago
- Some tips for new learners of ZKP☆28Dec 31, 2020Updated 5 years ago
- 大连海事大学求生笔记☆22May 1, 2026Updated last month
- Pinjectra is a C/C++ OOP-like library that implements Process Injection techniques (with focus on Windows 10 64-bit)☆16Sep 4, 2020Updated 5 years ago