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☆22Jul 14, 2026Updated last week
- A research platform and active library for generalised SAT solving☆33Jun 12, 2025Updated last year
- ☆12Sep 30, 2024Updated last year
- The SAT and QBF Programming Language Bule☆23Updated this week
- Demonstration project for react-native-v8 on iOS☆13Jan 5, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Snapshot testing made for java☆13May 9, 2023Updated 3 years ago
- qTESLA Library, an optimized implementation of the post-quantum lattice-based digital signature scheme qTESLA.☆26Aug 31, 2022Updated 3 years ago
- Brave quest of 16 students to make MOWNiT even better again!☆14Dec 17, 2018Updated 7 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
- Cube-and-Conquer SAT solver☆44Jul 14, 2025Updated last year
- Eclipse Tutorial☆10Dec 23, 2015Updated 10 years ago
- ☆21Nov 2, 2019Updated 6 years ago
- Bulk transfer GitHub issues with puppeteer☆23Nov 4, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Selftrace React Native app☆19Jul 19, 2020Updated 6 years ago
- 收集所有同学博客～☆19Sep 2, 2024Updated last year
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆41Dec 18, 2022Updated 3 years ago
- Touchable scale using gesture handler and reanimated V2☆23Aug 12, 2021Updated 4 years ago
- ☆11Nov 3, 2021Updated 4 years ago
- Source code for all entries from the 2023 ZPrize competition☆26Jan 29, 2026Updated 5 months ago
- ☆14Jul 25, 2024Updated last year
- Easy way to create 60fps animations using https://github.com/kmagiera/react-native-reanimated☆21Sep 24, 2019Updated 6 years ago
- A VSCode Extension: Zotero with Better Bibtex support for LaTeX.☆18Apr 1, 2024Updated 2 years ago
- 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.
- cve-2019-0808-poc☆48Mar 25, 2019Updated 7 years ago
- Zero Knowledge Proof Learning Resources and Notes 📒 零知识证明学习资源与笔记☆15Dec 4, 2023Updated 2 years ago
- Encoding different problems into Boolean satisfiability☆12Sep 29, 2022Updated 3 years ago
- A react native tree view component☆26Mar 22, 2021Updated 5 years ago
- ☆14Oct 14, 2016Updated 9 years ago
- 非官方版大连海事大学学位论文LaTeX模板. Unofficial LaTeX Thesis Template for Dalian Maritime University.☆17Jan 31, 2026Updated 5 months ago
- ☆21Jul 2, 2021Updated 5 years ago
- Kernel Shellcode to add all privileges in token☆15Mar 13, 2017Updated 9 years ago
- ☆11Dec 8, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Automatically updated Material Design themed CV (template & personal)☆24May 31, 2026Updated last month
- espresso logic minimizer (https://embedded.eecs.berkeley.edu/pubs/downloads/espresso/index.htm)☆17Oct 29, 2022Updated 3 years ago
- 全国密码技术竞赛论文 latex模板☆19Sep 11, 2025Updated 10 months ago
- LaTeX template for Dalian Maritime University Graduation Thesis☆20May 27, 2013Updated 13 years ago
- Successfully training approximations to full-rank matrices for efficiency in deep learning.☆16Jan 5, 2021Updated 5 years ago
- 写给零基础读者的 Claude Code 中文入门书 · 针对 Claude Opus 4.7 · 27 章 + 10 附录 · 17 万字 · 44 张思维导图 · Mac/Windows 双平台手把手 · A beginner-friendly Chinese guid…☆28Apr 26, 2026Updated 2 months ago
- 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