CDCL(Crypto) SAT solver for cryptanalysis problems
☆11Mar 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
Sorting:
- Management of Benchmark Instances and Instance Attributes☆21Mar 13, 2026Updated last week
- ☆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 9 months ago
- Demonstration project for react-native-v8 on iOS☆13Jan 5, 2023Updated 3 years ago
- Snapshot testing made for java☆12May 9, 2023Updated 2 years 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 6 months ago
- Eclipse Tutorial☆10Dec 23, 2015Updated 10 years ago
- ☆21Nov 2, 2019Updated 6 years ago
- Selftrace React Native app☆18Jul 19, 2020Updated 5 years ago
- 收集所有同学博客～☆17Sep 2, 2024Updated last year
- Brave quest of 16 students to make MOWNiT even better again!☆14Dec 17, 2018Updated 7 years ago
- Cube-and-Conquer SAT solver☆44Jul 14, 2025Updated 8 months ago
- Bulk transfer GitHub issues with puppeteer☆23Nov 4, 2020Updated 5 years ago
- Source code for all entries from the 2023 ZPrize competition☆25Jan 29, 2026Updated last month
- 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☆40Dec 18, 2022Updated 3 years ago
- ☆11Nov 3, 2021Updated 4 years ago
- ☆14Jul 25, 2024Updated last year
- ☆19Jul 2, 2021Updated 4 years ago
- Automatically updated Material Design themed CV (template & personal)☆24Sep 27, 2025Updated 5 months 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 6 years ago
- A fork of https://github.com/SafeBreach-Labs/pinjectra with a practical implementation of Stack Bombing☆29Oct 22, 2020Updated 5 years ago
- LaTeX template for Dalian Maritime University Graduation Thesis☆17May 27, 2013Updated 12 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
- A react native tree view component☆26Mar 22, 2021Updated 4 years ago
- espresso logic minimizer (https://embedded.eecs.berkeley.edu/pubs/downloads/espresso/index.htm)☆17Oct 29, 2022Updated 3 years ago
- 大连海事大学求生笔记☆23Dec 1, 2024Updated last year
- Successfully training approximations to full-rank matrices for efficiency in deep learning.☆17Jan 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
- ☆16Jul 13, 2022Updated 3 years ago
- Saber and NTRU on M4 and AVX2☆18Jan 15, 2022Updated 4 years ago