Dimacs CNF utilities
☆20Jan 17, 2011Updated 15 years ago
Alternatives and similar repositories for cnf-utils
Users that are interested in cnf-utils are comparing it to the libraries listed below
Sorting:
- ☆16Jan 31, 2026Updated last month
- OpenCL SAT solver☆16Jul 15, 2011Updated 14 years ago
- SAT instance generator for SHA-1☆49Feb 12, 2021Updated 5 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆18Jun 22, 2025Updated 8 months ago
- Magic VLSI Layout Tool☆21Oct 10, 2019Updated 6 years ago
- The Pseudo-Boolean Solver MiniSat+☆29Oct 2, 2012Updated 13 years ago
- Python Regression Algorithms☆23Mar 16, 2017Updated 8 years ago
- SAT-based Bitcoin Mining☆89Jan 20, 2022Updated 4 years ago
- riii☆10Dec 10, 2015Updated 10 years ago
- Assemblies for BanSharp☆21Sep 21, 2018Updated 7 years ago
- Frisbee flight simulator written in Python.☆12Jun 18, 2025Updated 8 months ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Smashing Node.js: JavaScript Everywhere Examples☆11Jan 12, 2014Updated 12 years ago
- Evaluate a Mapbox GL style function☆12Feb 1, 2017Updated 9 years ago
- A cross-platform multi-player 3D arcade game implemented entirely in plain C and OpenGL.☆10Aug 15, 2015Updated 10 years ago
- A plugin to debug program with gdb by using vim☆29Sep 11, 2016Updated 9 years ago
- Examples of some fast databinding in Angular2☆11Jun 26, 2015Updated 10 years ago
- ☆11Apr 19, 2019Updated 6 years ago
- musl libc projects (such as _BSD_SOURCE)☆18Jan 1, 2014Updated 12 years ago
- 連接中研院詞庫小組的中文斷詞系統與中文剖析系統之API☆22Jun 16, 2018Updated 7 years ago
- ☆14Nov 23, 2016Updated 9 years ago
- Code repository for our work on Quantum Pi☆10Jun 4, 2024Updated last year
- ☆13Dec 13, 2022Updated 3 years ago
- Materials for OPLSS 2021☆11Jun 1, 2021Updated 4 years ago
- 10小时搞定Latex排版☆12Jun 22, 2018Updated 7 years ago
- Static content published at www.webplatform.org that aren't managed by a content management system.☆21Aug 18, 2022Updated 3 years ago
- Code for new techniques of VLSI placement☆13Oct 11, 2013Updated 12 years ago
- C++/Tcl, a library that allows to easily integrate C++ and Tcl.☆12Apr 26, 2018Updated 7 years ago
- Standard cell placement (global and detailed) tool based on modified algorithm “simulated annealing”☆12Jan 7, 2026Updated last month
- Haskell implementation of open games☆13Apr 20, 2016Updated 9 years ago
- Tool for Change Impact Analysis in JavaScript Web Applications☆10Sep 12, 2014Updated 11 years ago
- A PLT Redex implementation of Featherweight Java☆17Oct 8, 2012Updated 13 years ago
- log watcher for awesome wm☆15Nov 3, 2017Updated 8 years ago
- Detect changepoints in time series data☆11Oct 29, 2014Updated 11 years ago
- Ruby language compiler for .NET Framework that is built on top of the Dynamic Language Runtime.☆10Dec 2, 2015Updated 10 years ago
- chat app demo by nodejs, golang, python☆10Jun 24, 2017Updated 8 years ago
- Text-based 2048 in Python.☆23Jan 24, 2022Updated 4 years ago
- Source code for the paper "Real-time Pose Estimation of Deformable Objects Using a Volumetric Approach" in IROS 2014☆10Jan 20, 2015Updated 11 years ago
- An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.☆19Sep 5, 2014Updated 11 years ago