Popular repositories Loading

1. dpll-sat dpll-sat Public

   Simple Python implementation of a Complete/Systematic SAT Solver with the DPLL algorithm

   Python 13 4

2. otk-sat otk-sat Public

   Simple Python implementation of the WalkSAT algorithm and SAT implementation of graph coloring

   Python 3 1

3. wpm1-3 wpm1-3 Public

   Forked from Guillem96/WPM-1-3-

   Conversor to WPM(1,3), dimacs format

   Python 1

4. secretariadigital secretariadigital Public

   OpenAI powered chatbot that answers University of Lleida Q&A

   Python 1

5. advent_of_code advent_of_code Public

   Eric Wastl Advent of Code

   Python 1

6. simple_webscrapping_practice simple_webscrapping_practice Public

   A python discord bot to scrap some data of PACKT editor free daily book

   Python