Sudoku Solver using Z3
☆19Jan 23, 2020Updated 6 years ago
Alternatives and similar repositories for sudoku-solver
Users that are interested in sudoku-solver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A template set for writing semantics in LaTeX☆12Aug 17, 2015Updated 10 years ago
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 2 years ago
- OCaml PLTP: An independent reproduction of the Boyer-Moore Pure Lisp Theorem Prover☆14Nov 29, 2017Updated 8 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Mar 31, 2015Updated 11 years ago
- ☆18Nov 23, 2021Updated 4 years ago
- 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.
- Course web page for Fall 2021.☆22Dec 26, 2021Updated 4 years ago
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated last year
- IDA Python deobfuscation script for ConfuserEx binaries☆35Sep 15, 2022Updated 3 years ago
- Files and writeups for challenges I authored in BalsnCTF 2022.☆26Sep 5, 2022Updated 3 years ago
- A C++ tool for decrypting the Switch's flash memory (public domain, thanks to rajkosto for providing guidance)☆11Apr 30, 2018Updated 7 years ago
- IPC Logger for the Switch☆15Aug 7, 2019Updated 6 years ago
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated last year
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆38Mar 5, 2026Updated last month
- Racket bindings for Z3☆24May 11, 2019Updated 6 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.
- BuckleScript binding for JQuery☆10Nov 1, 2017Updated 8 years ago
- 'Transfer' is to 'move' what 'Clone' is to 'copy'☆12Oct 13, 2019Updated 6 years ago
- ☆37May 9, 2019Updated 6 years ago
- Examples for TLAPS (TLA+ Proof System)☆16May 9, 2020Updated 5 years ago
- A collection of pytorch models and calibration types for generating discrete objects: equations, molecules, etc☆11Jul 6, 2023Updated 2 years ago
- Class to help with adding logging function in smali output from 3rd party Android apps.☆10May 20, 2014Updated 11 years ago
- CLP(SMT) on top of miniKanren☆39Feb 26, 2022Updated 4 years ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Feb 13, 2025Updated last year
- extract bitmap-data from a TrueType font to BDF-format text files☆11Jan 1, 2013Updated 13 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.
- Script to easily setup Nix and NixOps for use on Mac☆22May 19, 2015Updated 10 years ago
- emacs package for pattern-based rewriting of sexp-structured code☆40Dec 21, 2021Updated 4 years ago
- ☆10Dec 27, 2022Updated 3 years ago
- The 1st Golang challenge in Erlang☆11Mar 19, 2015Updated 11 years ago
- An Android Launcher that at the center of the home screen shows the apps the user needs exactly at that moment, making it faster and more…☆13Dec 11, 2019Updated 6 years ago
- being the materials from my YOW LambdaJam 2016 talk☆11Jun 11, 2016Updated 9 years ago
- Framework for generating adversarial examples using formal methods and for analyzing robustness of DNNs.☆21Jul 21, 2017Updated 8 years ago
- These are the write up of b3f0re and offical to study☆22Dec 13, 2022Updated 3 years ago
- A repository to store Z3-python scripts you can use as examples, reminders, whatever.☆281Aug 22, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A client for Isabelle server (https://isabelle.in.tum.de)☆14Mar 19, 2026Updated 3 weeks ago
- A breakout board for the Switch eMCC board, with resistor scratch-thru options for reducing reflections.☆16Jan 18, 2018Updated 8 years ago
- ☆16Apr 12, 2023Updated 2 years ago
- A collection of useful tips/tricks/hints for Isabelle users.☆16May 2, 2024Updated last year
- Program verification with F* course materials☆12Jul 6, 2019Updated 6 years ago
- Battery Fix☆13Jun 30, 2018Updated 7 years ago
- imaplet revamp with Lwt☆18Aug 9, 2017Updated 8 years ago