PEQNP Mathematical Solver
☆13Sep 25, 2021Updated 4 years ago
Alternatives and similar repositories for PEQNP
Users that are interested in PEQNP are comparing it to the libraries listed below
Sorting:
- A Free World Class High Performance SAT Solver☆21Jul 12, 2021Updated 4 years ago
- A univeral P system simulator for membrane computing researchers.☆10Dec 28, 2019Updated 6 years ago
- Library for creation of SAT instances.☆23Sep 7, 2022Updated 3 years ago
- XCSP3 Tools in Java☆23Feb 9, 2026Updated 3 weeks ago
- Based on Neural Amp Modeler 0.7.1 with some enhanced features☆12Apr 18, 2023Updated 2 years ago
- Nehe Tutorials in Clojure using Penumbra☆29Sep 21, 2010Updated 15 years ago
- PAKCS: The Portland Aachen Kiel Curry system☆14Feb 22, 2026Updated last week
- A malware sandoxed with gdb☆15Jun 27, 2016Updated 9 years ago
- A simple Unity 3D demo using HumbleNet☆13Jul 5, 2017Updated 8 years ago
- Spatial and Action Based Resolver☆13Jan 18, 2019Updated 7 years ago
- Prototyping and research tool for Xbox One SystemOS based on Collateral Damage☆22Nov 20, 2025Updated 3 months ago
- A crate to read Clojure.☆19Jan 12, 2026Updated last month
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- ☆10May 14, 2020Updated 5 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 6 months ago
- lisp code generator for swagger☆10Jan 12, 2019Updated 7 years ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- SNOBOL/SPITBOL pattern matching in JavaScript☆10Apr 2, 2021Updated 4 years ago
- reproducible dev+test+production environments for java+javascript+clojure(script)☆13Feb 2, 2021Updated 5 years ago
- Desktop YouTube Player App (Inspired by DeskApp for YouTube)☆12Apr 22, 2022Updated 3 years ago
- Connecting bv_decide to SMTLIB.☆13Jan 5, 2026Updated last month
- Reagent interface to the Mafs interactive 2d math visualization library.☆15Jun 1, 2024Updated last year
- A proof of concept Clojure port of the Tinywl wayland compositor☆10Aug 28, 2024Updated last year
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated last month
- korean layer for spacemacs☆11May 15, 2020Updated 5 years ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆14Nov 25, 2024Updated last year
- Clockwork: A Modular Arithmetic library for C++☆12Nov 18, 2025Updated 3 months ago
- ☆11Sep 29, 2021Updated 4 years ago
- mini-program-cljs(ClojureScript微信小程序库)开发者的示例项目和文档☆10Mar 24, 2020Updated 5 years ago
- tauri binding for Deno.☆12Aug 24, 2020Updated 5 years ago
- A fully reproducible nix flake for automatic1111/stable-diffusion-webui with CUDA support.☆13Apr 13, 2023Updated 2 years ago
- Opensource uPlay API Emulator☆13Jan 25, 2016Updated 10 years ago
- A C++ library for algebra over GF(2)☆16May 10, 2024Updated last year
- Poincaré Embeddings for Learning Hierarchical Representations (https://arxiv.org/abs/1705.08039) in PyTorch☆15Dec 20, 2017Updated 8 years ago
- Thread-Safe Pools / Distributed Pools for Common Lisp.☆15Jan 20, 2026Updated last month
- Replacing standard support propagation by belief propagation in MiniCP☆15Feb 18, 2026Updated last week
- Artifact for the IEEE S&P 2025 paper: "Rapid Reversing of Non-Linear CPU Cache Slice Functions: Unlocking Physical Address Leakage"☆20Nov 25, 2025Updated 3 months ago
- ☆13Sep 25, 2023Updated 2 years ago
- Official repository for paper "Goal-Aware Neural SAT Solver"☆17Jun 10, 2023Updated 2 years ago