Power Law Random k-SAT Generator
☆15Nov 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
Sorting:
- SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data struc…☆21Sep 16, 2020Updated 5 years ago
- A Simple CDCL Solver☆35Mar 8, 2023Updated 2 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Jun 8, 2021Updated 4 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
- 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 3 months ago
- Latest KiCad installed inside a docker container from ppa:js-reynaud/ppa-kicad☆10Mar 23, 2015Updated 10 years ago
- notes on various eng/math projects☆11Mar 1, 2023Updated 3 years ago
- A directory of companies, people, and projects that are Open Source and from Berlin☆11May 3, 2017Updated 8 years ago
- ANAVI Gardening uHAT is an open source hardware add-on board for Raspberry Pi that helps you develop smart solutions for monitoring and …☆11Dec 29, 2021Updated 4 years ago
- ☆18Jul 13, 2025Updated 7 months ago
- Prototyping Area HAT (Hardware Attached on Top) for Raspberry Pi☆11May 20, 2020Updated 5 years ago
- Using the wavefunction collapse algorithm to generate random maps with BSicons from Wikipedia☆13Jun 26, 2020Updated 5 years ago
- Old website☆11Feb 15, 2025Updated last year
- Control a MAX7219 LED Matrix display over Art-Net DMX with a Wifi ESP8266/Arduino☆10May 28, 2024Updated last year
- IR Remote Controlled MP3 Player☆11Dec 12, 2022Updated 3 years ago
- A worthy contender in the race for a replacement to the Case Management / Electronic Case Filing System.☆14May 8, 2024Updated last year
- Subtractive synthetizer/web audio API☆12Oct 12, 2020Updated 5 years ago
- bpm.is sauce☆10Nov 5, 2021Updated 4 years ago
- Code to generate an infinite zoom animation.☆11Nov 9, 2023Updated 2 years ago
- firmware for Gecho Loopsynth, STM32F4 based pocket synth (http://gechologic.com/)☆10Apr 22, 2019Updated 6 years ago
- code to use the Dfrobot Voice Prompt Module with Integrated MP3 Player and Speaker SKU:DFR1173☆11Oct 1, 2024Updated last year
- Software/Circuit info for my kazoo with built-in autotune (and MIDI control!!)☆12Aug 29, 2024Updated last year
- Repository for the implementation of our work on hypergraph generation as part of the ANR project "SODA".☆13Oct 27, 2025Updated 4 months ago
- ☆17May 19, 2014Updated 11 years ago
- ☆11Feb 26, 2024Updated 2 years ago
- Docs, Schematic and Board file for the Dianome PDB☆10Feb 22, 2024Updated 2 years ago
- ☆12Nov 29, 2023Updated 2 years ago
- Three old pixel fonts.☆12Feb 12, 2021Updated 5 years ago
- TFT_clock is a complete software solution designed to drive four TFT displays as an advanced alarm clock running an ESP32-S3 MCU.☆12Jan 9, 2026Updated last month
- ☆12Nov 12, 2020Updated 5 years ago
- The bolt house is a prefabricated house designed for sloped land☆12Oct 26, 2015Updated 10 years ago
- a Web Audio subtractive, monophonic synthesizer☆12Apr 13, 2018Updated 7 years ago
- Repository containing the code for the project "Using deep learning to construct Stochastic Local Search SAT solvers with performance bou…☆17Dec 18, 2024Updated last year
- Aluminium Extrusion specific CAD program☆12Dec 10, 2025Updated 2 months ago
- Implementation of minimum cost flow algorithm☆12Nov 9, 2015Updated 10 years ago
- From my YouTube video☆10Nov 15, 2018Updated 7 years ago
- Electronic Cats KiCad Libraries☆16Jun 16, 2023Updated 2 years ago
- ☆13Mar 5, 2022Updated 4 years ago
- ☆11Mar 29, 2023Updated 2 years ago