A Free World Class High Performance SAT Solver
☆21Jul 12, 2021Updated 4 years ago
Alternatives and similar repositories for slime-sat-solver
Users that are interested in slime-sat-solver are comparing it to the libraries listed below
Sorting:
- PEQNP Mathematical Solver☆13Sep 25, 2021Updated 4 years ago
- Program synthesis tools and utilities for LLVM.☆20Jul 6, 2023Updated 2 years ago
- obfuscation that aims to not stand out☆24Mar 27, 2022Updated 3 years ago
- HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Ap…☆22Jul 6, 2021Updated 4 years ago
- ☆23Mar 13, 2023Updated 2 years ago
- Library for creation of SAT instances.☆23Sep 7, 2022Updated 3 years ago
- A documentation of several Tigress obfuscation passes and an attempt to simplify Mixed Boolean-Arithmetic (MBA) expressions.☆23Dec 3, 2021Updated 4 years ago
- Commodity Obfuscation Engine for Intel SGX☆20Jul 21, 2019Updated 6 years ago
- Python library that provides methods for Boolean circuit manipulation, analysis, and synthesis☆32Feb 8, 2026Updated 3 weeks ago
- The toolchain of Chosen-instruction attack☆21May 3, 2022Updated 3 years ago
- LLVM Graph View for VSCode☆40Mar 25, 2025Updated 11 months ago
- Generates CIL MLIR dialect from C/C++ source.☆35Feb 10, 2021Updated 5 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Jan 1, 2024Updated 2 years ago
- Based on Neural Amp Modeler 0.7.1 with some enhanced features☆12Apr 18, 2023Updated 2 years ago
- Tools for Design Structure Matrix☆10Jan 25, 2022Updated 4 years ago
- A high-fidelity x86_64 polymorphic mutation engine focused on instruction-level fragmentation and context preservation.☆111Jan 18, 2026Updated last month
- A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.☆39Apr 3, 2020Updated 5 years ago
- ☆45Apr 10, 2021Updated 4 years ago
- ecdsattack is a package which retrieves private keys from faulted ECDSA signatures.☆45Nov 28, 2022Updated 3 years ago
- A simple Unity 3D demo using HumbleNet☆13Jul 5, 2017Updated 8 years ago
- Lightweight cryptography☆14Nov 7, 2022Updated 3 years ago
- A malware sandoxed with gdb☆15Jun 27, 2016Updated 9 years ago
- Oracle JET CRUD example with ADF BC REST☆10Jul 29, 2017Updated 8 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Nehe Tutorials in Clojure using Penumbra☆29Sep 21, 2010Updated 15 years ago
- Example of CRUSH compression with optimal parsing using BriefLZ algorithms☆16Nov 1, 2023Updated 2 years ago
- Fiddler抓包Header信息转换器，可以将Fiddler抓包信息中的Header转为Java和C#代码，以及ApiPost可导入的Json☆10Mar 26, 2022Updated 3 years ago
- This is just a x64dbg script system support.☆48Jul 6, 2022Updated 3 years ago
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆11Jun 22, 2019Updated 6 years ago
- modal logic library for LEAN theorem prover☆12Aug 20, 2017Updated 8 years ago
- Advanced Rust code virtualization and obfuscation framework☆29Dec 16, 2025Updated 2 months ago
- Multi-layer perceptron, Autoencoder, and Restricted Boltzmann Machine☆10Sep 15, 2018Updated 7 years ago
- A Nix flake providing a Datomic Pro package and NixOS module☆19Feb 19, 2026Updated 2 weeks ago
- A proof of concept Clojure port of the Tinywl wayland compositor☆10Aug 28, 2024Updated last year
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- lisp code generator for swagger☆10Jan 12, 2019Updated 7 years ago
- Reagent interface to the Mafs interactive 2d math visualization library.☆15Jun 1, 2024Updated last year
- This project tries to integrate imgui to an Android Cocos2d-x game using Frida☆14Jul 19, 2022Updated 3 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago