Popular repositories Loading

1. SatHelper SatHelper Public

   Forked from biotomas/SatHelper

   A tool to improve Boolean satisfiability (SAT) solver user's life

   Python

2. sls_sat_solver sls_sat_solver Public

   A simple mutlithreaded SLS sat solver.

   Rust

3. P-Cmax-solver P-Cmax-solver Public

   Rust

4. spaa24-pcmax-bnb spaa24-pcmax-bnb Public

   Supplementary Material for SPAA'24 BA "New Pruning Rules for Optimal Task Scheduling on Identical Parallel Machines"

5. autotyping autotyping Public

   Forked from JelleZijlstra/autotyping

   Automatically add simple type annotations to your code

   Python