jacky860226 / JinkelaSatLinks
A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)
☆11Updated 4 years ago
Alternatives and similar repositories for JinkelaSat
Users that are interested in JinkelaSat are comparing it to the libraries listed below
Sorting:
- Discrete Hidden Markov Model (HMM) Implementation in C++☆27Updated 6 years ago
- Python and C++ implementation of the Chirp-Z transform☆19Updated 4 years ago
- Solver for Unconstrained Binary Quadratic Optimization (UBQO, BQO, QUBO) and Max 2-SAT, based on semidefinite relaxation with constraint …☆15Updated 2 years ago
- ☆9Updated 4 years ago
- A C++ neural network library for machine learning☆15Updated last year
- This example shows how to perform quantization aware training for transfer learned MobileNet-v2 network.☆11Updated last year
- book for Halide language programming☆13Updated 3 years ago
- Play Tetris game automatically!☆17Updated 2 years ago
- YACHT 🛳️: Smoothly riding the waves of C++ projects☆11Updated 2 years ago
- Content Addressable Memory using dimensionality reduction☆12Updated 8 years ago
- Using Doxygen to Document C++ Libraries☆11Updated 4 years ago
- Elegant C++ library for HDF5 files☆14Updated 8 years ago
- ☆6Updated 3 years ago
- fine-tune Whipser model for Taiwanese speech recognition☆31Updated 2 years ago
- MCMC for the Dark Energy Spectroscopic Instrument☆13Updated 9 years ago
- Sudoku solver based on SAT (Boolean Satisfiability) in python☆13Updated 6 years ago
- Synthetic exterior acoustic scattering data and sample parsing code.☆15Updated 5 years ago
- Experimenting with Lapped Transforms Jupyter Notebook☆12Updated 5 years ago
- Tutorial: Writing R and Python Packages with Multithreaded C++ Code using BLAS, AVX2/AVX512, OpenMP, C++11 Threads and Cuda GPU accelerat…☆14Updated 2 years ago
- This is the simulator for the robot or human motion☆19Updated 8 years ago
- GPU Automatically Tuned Linear Algebra Software☆28Updated 9 years ago
- ☆10Updated 3 years ago
- A Shape Finder using Corner-Harris and Heirarchical Clustering☆10Updated 7 years ago
- Automated shapeshifting for function recovery in damaged robots.☆13Updated 5 years ago
- My animations for my videos☆10Updated 6 years ago
- Basic start of TensorFlow with TensorBoard☆11Updated 9 years ago
- A framework for neural network☆9Updated 6 years ago
- Transform Learning for NMF☆12Updated 6 years ago
- Averaged Stochastic Gradient Descent Classifiers☆42Updated 12 years ago
- Spherical k-means implementation in Matlab and C++ (with multithreading). The spherical k-means algorithm is used to automatically group …☆27Updated 10 years ago