Library for creation of SAT instances.
☆23Sep 7, 2022Updated 4 years ago
Alternatives and similar repositories for autosat
Users that are interested in autosat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Dimacs CNF utilities☆21Sep 29, 2026Updated last week
- Lecture: Practical SAT Solving (ST 2025)☆13Jul 1, 2026Updated 3 months ago
- This fork family includes the 6502 upgraded to 32-bit address bus, in Verilog HDL☆20Feb 23, 2020Updated 6 years ago
- A Free World Class High Performance SAT Solver☆20Jul 12, 2021Updated 5 years ago
- SAT instance generator for SHA-1☆52Feb 12, 2021Updated 5 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.
- Sources for algorithm selection for combinatorial search problems survey☆17Jul 10, 2019Updated 7 years ago
- Unix-hosted development of 8-bit software, with modern testing support☆20Sep 28, 2026Updated last week
- A Python package for creating and manipulating KML documents.☆12Jan 2, 2022Updated 4 years ago
- Supporting code for the concurrency hierarchy described in this blog post: https://travisdowns.github.io/blog/2020/07/06/concurrency-cost…☆27Apr 30, 2022Updated 4 years ago
- Quick sample to make an UDP host from Bizhawk☆14Aug 20, 2026Updated last month
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Nov 27, 2021Updated 4 years ago
- Mechanized Theory of Event Structures☆16Aug 16, 2023Updated 3 years ago
- FORTH implementation for 65C02☆13Jul 23, 2021Updated 5 years ago
- IR Remote Controller for WS2812(or analog) LED Strip☆10Nov 28, 2022Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆40May 13, 2026Updated 4 months ago
- A MsgPack serializer for Django.☆17Oct 9, 2024Updated 2 years ago
- I used the AlphaZero algorithm to make a bot that plays ultimate tic-tac-toe.☆15Apr 7, 2019Updated 7 years ago
- C++ library for large-scale network analysis and computation☆27Sep 24, 2026Updated 2 weeks ago
- Bitbang i2c with MOS 6502 and 6522☆13Apr 27, 2017Updated 9 years ago
- Compiler of the EDDI programming language☆33May 15, 2025Updated last year
- ☆40Nov 7, 2022Updated 3 years ago
- A two-dimensional esoteric programming language, inspired by Hexagony and based on Surface☆11Nov 14, 2019Updated 6 years ago
- Symmetric ciphers, hashes, microtime, random strings, big integers, and zlib compression☆30Sep 7, 2015Updated 11 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Sublime text 3 Support for the Vlang Programming Language☆19Aug 4, 2021Updated 5 years ago
- This is a library for talking to the MAX11300 from any Arduino.☆10Jun 15, 2018Updated 8 years ago
- Context switching for LLVM☆15Sep 12, 2011Updated 15 years ago
- Finding the bacteria in rotting FPGA designs.☆14Dec 28, 2020Updated 5 years ago
- Animation merging, quantizing and dithering swiss army knife☆21Jan 11, 2018Updated 8 years ago
- Rewrite of CTime by Casey Muratori in Odin☆11Jan 30, 2020Updated 6 years ago
- Overtone Clojure Eclipse Live Coding Dubstep☆20Sep 14, 2012Updated 14 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17May 29, 2022Updated 4 years ago
- microsat☆142Jun 18, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Frisbee flight simulator written in Python.☆14Jun 18, 2025Updated last year
- Candy size USB to UART bridge.☆18Feb 18, 2021Updated 5 years ago
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆22Nov 20, 2025Updated 10 months ago
- A diff tool that highlights changes at the token (rather than line) level☆14Dec 19, 2022Updated 3 years ago
- The SubC compiler☆34Jun 16, 2017Updated 9 years ago
- Fast Positive Hash - just the fastest portable hash function.☆36Mar 2, 2021Updated 5 years ago
- A Brainfuck JIT compiler, written almost entirely in GNU C☆18Oct 17, 2012Updated 13 years ago