A solver for the (unicost) set covering problem
☆23Dec 21, 2025Updated 2 months ago
Alternatives and similar repositories for setcoveringsolver
Users that are interested in setcoveringsolver are comparing it to the libraries listed below
Sorting:
- Implementation of different techniques to solve the Set Covering Problem (SCP).☆11Feb 18, 2026Updated last week
- ☆10Apr 10, 2020Updated 5 years ago
- Attacks on Jarvis and Friday☆10Oct 9, 2019Updated 6 years ago
- Source codes for paper "An Algebraic Formulation of the Division Property: Revisiting Degree Evaluations, Cube Attacks, and Key-Independe…☆18Aug 29, 2020Updated 5 years ago
- Applying MILP Method to Searching Integral Distinguishers Based on Division Property for 6 Lightweight Block Ciphers☆24Dec 13, 2016Updated 9 years ago
- Python library for vectorial Boolean functions in cryptography☆11Nov 15, 2023Updated 2 years ago
- An easy to use tool for evaluating the security of cryptographic algorithms against integral attacks.☆25Jan 20, 2019Updated 7 years ago
- ☆12Jul 18, 2022Updated 3 years ago
- Tool to find XOR differential and rotational-XOR characteristics of ARX primitives.☆33May 7, 2023Updated 2 years ago
- Implementation of the Caprara, Fischetti, and Toth algorithm for the Set Covering problem.☆18Mar 5, 2025Updated 11 months ago
- ☆13Sep 9, 2019Updated 6 years ago
- Job Shop Scheduling Problem Solver☆15Apr 26, 2019Updated 6 years ago
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆25Dec 6, 2022Updated 3 years ago
- An implementation of the LowMC block cipher family.☆27Nov 29, 2017Updated 8 years ago
- Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers☆27Jul 13, 2017Updated 8 years ago
- ☆16Jul 22, 2025Updated 7 months ago
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆77Apr 6, 2025Updated 10 months ago
- An advanced orbital dynamics and n-body simulation program.☆12Sep 5, 2023Updated 2 years ago
- Source Code for Data Abstraction & Problem Solving with C++: Walls and Mirrors☆13Jun 13, 2022Updated 3 years ago
- A solver based on column generation☆40Dec 27, 2025Updated 2 months ago
- Quantnet: SFE quantlets☆11Oct 27, 2025Updated 4 months ago
- ☆12Updated this week
- A White-Box Masking Scheme Against Computational and Algebraic Attacks☆13Jan 6, 2021Updated 5 years ago
- Become an expert C++ programmer by solving real-world programming problems☆10Mar 25, 2019Updated 6 years ago
- Provides fully configure Visual Studio Solution for ORTools☆10Aug 30, 2019Updated 6 years ago
- Sage implementation of the MAYO scheme☆15Feb 3, 2025Updated last year
- Program for finding low gate count implementations of S-boxes.☆41Oct 22, 2024Updated last year
- Implements Coron's simplification of Coppersmith's algorithm☆43Oct 10, 2023Updated 2 years ago
- A computer built as a cellular automation pattern☆14May 13, 2023Updated 2 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Improved Search for Integral, Impossible Differential and Zero-Correlation Attacks: Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRE…☆14Jul 30, 2025Updated 7 months ago
- Hyphenation of English words☆13Dec 21, 2016Updated 9 years ago
- Help me analyze bandaged Rubik's cubes.☆12Nov 30, 2020Updated 5 years ago
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆11Jun 22, 2019Updated 6 years ago
- R-Deep-Learning-Essentials-Second-Edition, Published by Packt☆13Jan 15, 2021Updated 5 years ago
- Package for solving dial-a-ride problems.☆10Apr 16, 2024Updated last year
- AVR assembly plugin for Binary Ninja☆12Jun 6, 2018Updated 7 years ago
- ☆11Sep 21, 2025Updated 5 months ago
- Spell and pronounce words with a neural network☆10Feb 13, 2017Updated 9 years ago