Repository containing the code for the project "Using deep learning to construct Stochastic Local Search SAT solvers with performance bounds"
☆17Dec 18, 2024Updated last year
Alternatives and similar repositories for sls_sat_solving_with_deep_learning
Users that are interested in sls_sat_solving_with_deep_learning are comparing it to the libraries listed below
Sorting:
- Incremental games and tools for them.☆10Jan 15, 2024Updated 2 years ago
- Udlx - Yet Another Udemy Course Downloader!☆11Jul 27, 2023Updated 2 years ago
- ☆13Mar 13, 2020Updated 5 years ago
- A Plague Tale DPC Tool for edit game.☆12Oct 21, 2022Updated 3 years ago
- The 1st pool project at school 42☆11Jan 8, 2021Updated 5 years ago
- A modern terminal UI to manage Docker and Podman containers with style. Explore, inspect, and control your container stack — all from the…☆13Aug 28, 2025Updated 6 months ago
- We are planning to create an open-source vinyl cutter/plotter. Matrix chat room: https://matrix.to/#/!MwdoqdFeJDUPgWIzKZ:matrix.org?via=m…☆11Apr 24, 2021Updated 4 years ago
- OWASP Foundation Web Respository☆10Oct 6, 2025Updated 5 months ago
- ☆16Feb 23, 2025Updated last year
- ☆13Jan 24, 2024Updated 2 years ago
- ☆15Dec 2, 2024Updated last year
- Barebones Minecraft server in Rust☆21Oct 7, 2014Updated 11 years ago
- ☆15Oct 5, 2023Updated 2 years ago
- Gesture-controlled computer interactions using hand tracking☆13May 8, 2024Updated last year
- Cat and Dog Classification with Convolutional Neural Networks (CNNs)☆15Sep 23, 2023Updated 2 years ago
- Flutter mobile application with a Go backend, specialized in robust user authentication☆15Jan 24, 2024Updated 2 years ago
- ☆10May 18, 2024Updated last year
- A DragonFlyBSD, Openmach and SerenityOS based hybrid Kernel☆14Apr 27, 2024Updated last year
- Python-built Multilayer Perceptron, a personal project utilizing Keras-TensorFlow for advanced artificial neural network modeling☆15Nov 20, 2023Updated 2 years ago
- GRAFHY is a virtual communication platform that enables users to exchange messages, posts, and images made with Python and Vue.js☆13Feb 1, 2024Updated 2 years ago
- RISC8Emulator is a software recreation of the CHIP-8 system, a simple computer from the mid-1970s primarily used for playing video games☆13Feb 1, 2024Updated 2 years ago
- Orpheus is a high-performance CLI framework designed to be super simple and ~30× faster than popular alternatives with zero external depe…☆27Jan 13, 2026Updated last month
- GoAnime is a cli tool to browse and play anime in pt-br on konsole☆14Jan 29, 2024Updated 2 years ago
- Faster News repository: A swift, modern website using Svelte (front-end) and Go (back-end) for optimal performance☆16Jan 27, 2024Updated 2 years ago
- Dynamic Environment☆11Nov 14, 2025Updated 3 months ago
- Porting of (JavaScript version of) corewars8086 from codeguru xtreme to RISC-V cpu☆14Mar 25, 2019Updated 6 years ago
- Inter-Blockchain Communication☆12Nov 16, 2023Updated 2 years ago
- Personal walk through learning embedded systems with ESP32 in Rust.☆12Mar 31, 2024Updated last year
- ☆15Jan 6, 2024Updated 2 years ago
- ☆11Jul 2, 2023Updated 2 years ago
- A simple Ransomware☆17Mar 20, 2024Updated last year
- ☆11Apr 8, 2025Updated 10 months ago
- A cli tool to browse and play anime☆17Sep 22, 2025Updated 5 months ago
- This is my NixOS config project for OS replication, ensuring consistent setups across machines using the powerful Nix package manager☆15Jan 8, 2024Updated 2 years ago
- ☆13May 29, 2023Updated 2 years ago
- GRAFHY is a virtual communication platform that enables users to exchange messages, posts, and images made with Python and Vue.js☆18Feb 20, 2024Updated 2 years ago
- Write a simple interpreter of C. Inspired by c4 and largely based on it.☆15Jun 17, 2024Updated last year
- ☆14Nov 17, 2025Updated 3 months ago
- Audio Spectrum with SFML and FFTW☆13Dec 14, 2024Updated last year