Pinned Repositories
adsdb-fantasy-football
UPC MDS ADSDB Fantasy Football Project
advent_of_code
Eric Wastl Advent of Code
barcenas-world
Propositional Logic Agents with the JADE platform and SAT4J
crystal-bn
Crystal classification using Bayesian Networks with Weka
dpll-sat
Simple Python implementation of a Complete/Systematic SAT Solver with the DPLL algorithm
grok
Grok open release
otk-sat
Simple Python implementation of the WalkSAT algorithm and SAT implementation of graph coloring
Routes
Routes WoW Addon
secretariadigital
OpenAI powered chatbot that answers University of Lleida Q&A
wpm1-3
Conversor to WPM(1,3), dimacs format
marcmelis's Repositories
marcmelis/dpll-sat
Simple Python implementation of a Complete/Systematic SAT Solver with the DPLL algorithm
marcmelis/otk-sat
Simple Python implementation of the WalkSAT algorithm and SAT implementation of graph coloring
marcmelis/advent_of_code
Eric Wastl Advent of Code
marcmelis/secretariadigital
OpenAI powered chatbot that answers University of Lleida Q&A
marcmelis/wpm1-3
Conversor to WPM(1,3), dimacs format
marcmelis/adsdb-fantasy-football
UPC MDS ADSDB Fantasy Football Project
marcmelis/barcenas-world
Propositional Logic Agents with the JADE platform and SAT4J
marcmelis/crystal-bn
Crystal classification using Bayesian Networks with Weka
marcmelis/grok
Grok open release
marcmelis/Routes
Routes WoW Addon
marcmelis/secretariadigitalapp
marcmelis/simple_webscrapping_practice
A python discord bot to scrap some data of PACKT editor free daily book
marcmelis/shortest_common_superstring_SAT
Python implementation of the Shortest Common Superstring (SCS) as a SAT problem.