Power Law Random k-SAT Generator
☆16Nov 21, 2021Updated 4 years ago
Alternatives and similar repositories for Power-Law-Random-SAT-Generator
Users that are interested in Power-Law-Random-SAT-Generator are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Based on Neural Amp Modeler 0.7.1 with some enhanced features☆12Apr 18, 2023Updated 2 years ago
- Gramods, short for Graphics Modules, is a collection of weakly inter dependent and useful APIs for Virtual Reality and graphics cluster r…☆11Apr 7, 2026Updated last week
- The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"☆24Mar 30, 2011Updated 15 years ago
- Unix V6 with Arpanet support☆17Oct 11, 2022Updated 3 years ago
- A collection of tools written or formerly managed by Jörg Schilling (mirror)☆13Apr 5, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Rule-Based Modeling and Simulation Gui☆12Jun 12, 2020Updated 5 years ago
- Mecrisp Stellaris console via ST/LINK V2☆17Feb 14, 2022Updated 4 years ago
- Retrieve compressed UTF-8 strings from Arduino Flash memory (Progmem)☆24Sep 13, 2019Updated 6 years ago
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated 3 months ago
- BandMaxSAT: Multi-armed Bandit for the Local Search MaxSAT Solver☆11Mar 28, 2023Updated 3 years ago
- A Python package for creating and manipulating KML documents.☆12Jan 2, 2022Updated 4 years ago
- PyRigi is a general-purpose Python package for the rigidity and flexibility of bar-and-joint frameworks.☆15Updated this week
- Set of Minimal C Utilities☆16Aug 21, 2015Updated 10 years ago
- Text to JSON for easy Fine-tuning examples☆17May 6, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- StarExec is a cross community logic solving service☆19Jun 1, 2025Updated 10 months ago
- FUSE driver for FreeBSD's UFSv2☆30Mar 8, 2026Updated last month
- Benchmarking the performance of different sorting algorithms implemented in Java☆17Apr 20, 2020Updated 5 years ago
- A simulation of the launch and landing of the Falcon 9 rocket.☆17Feb 19, 2023Updated 3 years ago
- I used the AlphaZero algorithm to make a bot that plays ultimate tic-tac-toe.☆15Apr 7, 2019Updated 7 years ago
- Symmetric ciphers, hashes, microtime, random strings, big integers, and zlib compression☆28Sep 7, 2015Updated 10 years ago
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆28Jan 24, 2022Updated 4 years ago
- PID library in C☆46Nov 17, 2013Updated 12 years ago
- Management of Benchmark Instances and Instance Attributes☆21Mar 13, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆30Feb 28, 2023Updated 3 years ago
- Implementations of modern convex optimization-based graph algorithms in Python. Available on the Python Package Index (PyPI).☆16Jul 18, 2019Updated 6 years ago
- CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi outp…☆25Jun 3, 2023Updated 2 years ago
- ☆38Nov 3, 2020Updated 5 years ago
- An exact algorithm for the maximum clique problem (MCP) which improves over state-of-the-art approaches in some cases by orders of magnit…☆15Nov 15, 2025Updated 5 months ago
- Jupyter Notebooks for supplychainpy☆23Mar 21, 2017Updated 9 years ago
- Code to generate an infinite zoom animation.☆11Nov 9, 2023Updated 2 years ago
- A Free World Class High Performance SAT Solver☆21Jul 12, 2021Updated 4 years ago
- Latest KiCad installed inside a docker container from ppa:js-reynaud/ppa-kicad☆10Mar 23, 2015Updated 11 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A simple SAT solver based on the CDCL algorithm☆20Sep 10, 2019Updated 6 years ago
- [DEPRECATED] Landing page for cloud.gov. New repo: https://github.com/18F/cg-site☆12Nov 22, 2016Updated 9 years ago
- a Web Audio subtractive, monophonic synthesizer☆12Apr 13, 2018Updated 8 years ago
- Get ALL of the AKER Kit source file packs. If you love them, don't forget to tell us about it - aaron@akerkits.com☆10May 24, 2017Updated 8 years ago
- ☆12Nov 12, 2020Updated 5 years ago
- My game for Ludum Dare #44☆25Apr 6, 2024Updated 2 years ago
- notes on various eng/math projects☆11Mar 1, 2023Updated 3 years ago