Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with 3sat
A curated list of projects in awesome lists tagged with 3sat .
https://github.com/fabsrc/mediathek_scraper
:tv: Scrapes videos from mediatheks of ARD, ZDF, arte and 3sat.
3sat ard arte mediathek mediathek-scraper scrapy zdf
Last synced: 12 Nov 2024
https://github.com/akphi/vanilla.knapsack
Explore different algorithms for Maximum 0-1 Knapsack
3sat dynamic-programming fptas greedy-algorithms knapsack np-complete np-hard
Last synced: 22 Dec 2024
https://github.com/sleekpanther/3-sat-certifier
A Certifier algorithm to check a particular solution to the NP-Complete 3-Sat problem
3-sat 3-satisfiability 3sat certificate certifier-algorithm circuit-satisfiability clause cnf compound-boolean computational-instability conjunctive-normal-form exp literals negation np np-complete np-hard p sat satisfiability
Last synced: 15 Nov 2024
