Boolean satisfiability for propositional logic in Python
☆14Aug 19, 2025Updated 6 months ago
Alternatives and similar repositories for DPLL
Users that are interested in DPLL are comparing it to the libraries listed below
Sorting:
- A micro-kernel operating system based on the Barrelfish CPU-driver.☆21Mar 6, 2018Updated 7 years ago
- Some useful tools for mesh processing☆11Sep 9, 2025Updated 5 months ago
- Umbrella repository for the Jamoma platform☆32Nov 24, 2015Updated 10 years ago
- ☆12Jan 27, 2016Updated 10 years ago
- Matlab code for fast Hausdorff distance for binary images or segmentation maps☆11Mar 10, 2019Updated 6 years ago
- Tools to make working with Gerrit code review easier☆25Jun 27, 2020Updated 5 years ago
- gamepad support for openframeworks 007☆22Sep 4, 2021Updated 4 years ago
- Use 'Browser - Cloud' in ArmorPaint instead.☆10Apr 5, 2021Updated 4 years ago
- Jump to better conclusions: SCAN both left and right☆11Jan 24, 2019Updated 7 years ago
- 为 《Laravel 入门教程》 https://laravel-china.org/laravel-tutorial/5.1/about 定制的 homestead box 打包脚本☆10Feb 28, 2021Updated 5 years ago
- ☆40May 31, 2012Updated 13 years ago
- 一款基于python opencv 4.0开发的美颜程序。用以学习图像处理☆10Dec 14, 2019Updated 6 years ago
- vscode support for chez shame☆10Dec 3, 2019Updated 6 years ago
- Personal UE5 Soul-like RPG Action Game☆11Jan 6, 2024Updated 2 years ago
- ☆13Sep 9, 2016Updated 9 years ago
- A script engine written by C++, which supports lambda, incremental-gc, multiple-threads and so on...☆10Apr 25, 2019Updated 6 years ago
- A HTTP framework for storage and memory constraint environments (microcontrollers)☆31Jul 26, 2014Updated 11 years ago
- An implementation of the maxflow algorithm by Yuri Boykov and Vladimir Kolmogorov.☆12Nov 26, 2014Updated 11 years ago
- Manage local projects initially loaded☆16May 31, 2017Updated 8 years ago
- Zipped source code reading app for Android☆12May 17, 2019Updated 6 years ago
- Provide binary wheels for using ffmpeg with pyglet on certain platforms☆11Oct 6, 2019Updated 6 years ago
- Tetris implemented in lua/love2d using ECS☆10May 8, 2019Updated 6 years ago
- Source Code for 'Game Backend Development' by Balint Bors☆11Dec 27, 2022Updated 3 years ago
- Low poly Unity platformer. Going to get my third person camera and controller tweaked then do small mechanics.☆11Jul 18, 2015Updated 10 years ago
- The sequel to GraLL. Has a whole lot of new stuff: Another dimension, better physics, gravity-switching, Python scriptability, real save/…☆22Jul 28, 2013Updated 12 years ago
- OpenGL interop example using WGL_NV_DX_interop2☆10Mar 8, 2018Updated 7 years ago
- Network Flows Optimization - Shortest Path, Max Flow and Min Cost Flow Algorithms in Python☆11Sep 13, 2019Updated 6 years ago
- OpenGL (GLUT), Computer Graphics Algorithms☆12Feb 23, 2019Updated 7 years ago
- "I’ll do it, but only if you’ll help"☆18Jun 26, 2018Updated 7 years ago
- as apple will pull this app from AppStore ( i decided to release it as side load version ) [ FREE to stop fraudster little bit )☆11May 14, 2016Updated 9 years ago
- Legacy repo, migrated to cheerp-compiler monorepo☆21Aug 16, 2021Updated 4 years ago
- YACYAML for Cocoa reads and writes YAML, a friendlier, more human, plain text replacement for plists, JSON or NSKeyedArchives.☆48May 31, 2023Updated 2 years ago
- Physically-based melting simulation☆11May 7, 2012Updated 13 years ago
- Porting the code from learnopengl.com to PortableGL☆15Nov 17, 2025Updated 3 months ago
- Render Spine Animation Using OpenGL/OpenGL ES on Mac/Android/iOS☆15Apr 7, 2022Updated 3 years ago
- A demo for Lucas-Kanade Optical Flow method.☆10Jun 12, 2017Updated 8 years ago
- CUDA optimized Path Tracer☆11Dec 23, 2018Updated 7 years ago
- The slowest ext2fs driver ever! (in Python)☆15May 7, 2018Updated 7 years ago
- Studying GPU Multi-tenancy☆11Jan 11, 2019Updated 7 years ago