An open API service indexing awesome lists of open source software.

0 "sat-solver" Awesome Lists

awesome-sat-solvers

A curated collection of resources for the Boolean Satisfiability Problem (SAT).

automate-reasoning awesome awesome-list deductive-reasoning formal-methods logic optimization sat sat-solver smt

55 stars
2 forks
130 projects

Last updated: 02 Jun 2026

Search
Keywords
awesome-list 4,271 awesome 3,842 awesome-lists 620 machine-learning 469 list 425 deep-learning 391 resources 333 ai 311 llm 256 hacktoberfest 231 python 227 lists 205 javascript 198 security 180 artificial-intelligence 170 programming 165 computer-vision 145 blockchain 145 open-source 142 nlp 128 large-language-models 128 tools 123 data-science 115 curated-list 111 react 109 chatgpt 109 ai-agents 101 android 96 natural-language-processing 92 devops 89 linux 87 learning 87 awesome-readme 85 cybersecurity 85 papers 81 ios 81 reinforcement-learning 79 awesome-resources 79 mcp 79 developer-tools 78 css 77 ethereum 76 robotics 72 openai 70 rust 69 kubernetes 67 nodejs 66 computer-science 65 collection 62 design 61 survey 61 macos 61 playground 61 game-development 60 golang 59 free-resources 59 free 58 generative-ai 58 tutorials 58 getvm 57 web3 57 java 56 privacy 56 datasets 55 frontend 54 hacking 54 bitcoin 53 php 53 tutorial 52 education 51 automation 51 ai-tools 51 paper 50 llms 50 go 50 web 49 swift 49 gpt 48 data 47 github 46 security-tools 46 books 46 cloud 45 dataset 45 agent 45 development 45 labex 45 hands-on 45 typescript 45 deep-neural-networks 44 prompt-engineering 44 cryptocurrency 44 data-visualization 43 research 43 html 43 database 42 productivity 42 documentation 42 claude-code 42 gamedev 41 exercises 41 opensource 41 vue 41 api 40 docker 40 diffusion-models 39 claude 39 web-development 39 ml 39 software 38 paper-list 38 collections 38 algorithms 37 game 36 neural-network 35 agentic-ai 35 iot 35 courses 34 reactjs 34 cli 34 testing 34 aws 34 agents 34 hardware 33 multimodal 33 cpp 33 framework 33 video 32 software-engineering 32 flutter 32 community 32 crypto 32 react-native 31 rag 31 games 31 defi 31 solidity 31 projects 31 mlops 30 graph-neural-networks 30 self-hosted 30 transformer 30 libraries 30 bioinformatics 29 architecture 29 ruby 29 penetration-testing 29 microsoft 28 marketing 28 mobile 28 gemini 28 smart-contracts 28 pentesting 28 dotnet 28 angular 27 cryptography 27 best-practices 27 object-detection 27 tensorflow 27 slam 27 music 27 csharp 27 windows 27 links 27 science 27 saas 27 pytorch 26 self-supervised-learning 26 prompts 26 serverless 26 anthropic 26 reverse-engineering 26 library 26 data-analysis 26 jobs 25 coding 25 data-mining 25 django 25 nextjs 25 osint 25 infosec 25 3d 25 knowledge-graph 25 sql 25 neural-networks 24 git 24 chatbot 24 open-data 24 computer-graphics 24 time-series 24 learning-resources 24 mathematics 24 awsome-list 24 kotlin 24 markdown 24 embedded 24 apple 23 blog 23 openclaw 23 chinese 23 audio 23 image-generation 23 visualization 23 game-engine 23 autonomous-driving 23 engineering 23 segmentation 23 ui 23 interview 23 roadmap 23 unity 23 c 23 programming-language 23 ai-agent 23 software-development 23 devsecops 22 awesomeness 22 website 22 seo 22 networking 22 startups 22 startup 22 statistics 22 skills 22 python3 22 foundation-models 22 monitoring 22 deeplearning 22 finance 21 cloud-computing 21 gpt-3 21 azure 21 awsome 21 model-context-protocol 21 free-tutorials 21 reasoning 21 agent-skills 21 r 21 federated-learning 21 hacktoberfest-accepted 21 blogs 21 graphql 20 graph 20 opendata 20 youtube 20 js 20 data-structures 20 plugins 20 curated 20 machinelearning 20 apps 20 llama 20 decentralized 20 transformers 20 terminal 20 raspberry-pi 19 aigc 19 benchmark 19 backend 19 mcp-server 19 command-line 19 langchain 19 big-data 19 front-end 19 gpt-4 19 vlm 18 guidelines 18 text-to-image 18 prompt 18 analytics 18 telegram 18 optimization 18 vibe-coding 18 cloud-native 18 code 18 stable-diffusion 18 speech-recognition 18 representation-learning 18 embodied-ai 18 bugbounty 18 generative-art 18 swiftui 17 autonomous-vehicles 17 animation 17 generative-model 17 malware-analysis 17 data-engineering 17 beginner-friendly 17 nerf 17 knowledge 17 containers 17 cheatsheet 17 bash 17 deepseek 17 cursor 17 laravel 17 pentest 17 dart 16 large-language-model 16 webgl 16 bert 16 video-generation 16 language 16 quantization 16 videos 16 autonomous-agents 16 articles 16 algorithm 16 microservices 16 reddit 16 evm 16 image-processing 16 ros 16 android-development 15 codex 15 remote-sensing 15 pose-estimation 15 anomaly-detection 15 vscode 15 art 15 graphics 15 multimodal-deep-learning 15 technology 15 awesome-ai 15 databases 15 ai-safety 15 leetcode 15 performance 15 mcp-servers 15 resource 15 mysql 15 vuejs 15 readme 15 p2p 15 cms 15 distributed-systems 15 multimodal-large-language-models 15 foss 15 system-design 14 wasm 14 podcast 14 webassembly 14 react-components 14 dotnet-core 14 code-generation 14 multimodal-learning 14 detection 14 icons 14 llm-agents 14 generative-adversarial-network 14 deep-reinforcement-learning 14 gis 14 language-model 14 google 14 recommender-system 14 selfhosted 14 gaming 14 medical-imaging 14 oss 14 npm 14 node 14 discord 14 llmops 14 drones 14 mac 14 android-library 14 diffusion 14 vision-language-model 14 mobile-development 13 minecraft 13 dapp 13 interview-questions 13 svelte 13 frameworks 13 model-compression 13 sre 13 copilot 13 developer 13 microservice 13 utilities 13 automl 13 solana 13 claude-skills 13 uav 13 workflow 13 unicorns 13 planning 13 gan 13 bug-bounty 13 rl 13 programming-languages 13 transfer-learning 13 wordpress 13 postgresql 13 storage 13 webdevelopment 13 ecommerce 13 search 13 objective-c 13 sustainability 13 cicd 13 pwa 13 infrastructure 13 mllm 13 quantum-computing 13 semantic-segmentation 13 yolo 13 cyber-security 13 sysadmin 13 edge-computing 13 multi-agent 13 rest-api 13 continual-learning 13 software-architecture 12 image 12 graphics-programming 12 ui-design 12 ai-coding 12 static-site-generator 12 leadership 12 search-engine 12 rails 12 vision-and-language 12 webapp 12 cross-platform 12 application 12 cuda 12 es6 12 threat-intelligence 12 3d-graphics 12 infrastructure-as-code 12 vector-database 12 observability 12 privacy-tools 12 creative-coding 12 static-analysis 12 datascience 12 ai-art 12 time-series-analysis 12 article 12 fuzzing 12 elasticsearch 12 guide 12 speech-to-text 12 question-answering 12 trading 12 web-design 12 chain-of-thought 12 neuroscience 12 open-science 12 email 12 authentication 12 ux 12 ctf 12 evaluation 11 lua 11 math 11 vr 11 students 11 book 11 geospatial 11 cv 11 course 11 podcasts 11 ros2 11 free-software 11 incident-response 11 anime 11 unity3d 11 gpu 11 webpack 11 movies 11 hosting 11 healthcare 11 hacktoberfest2020 11 management 11 xai 11 font 11 knowledge-base 11 climate-change 11 packages 11 simulation 11 unsupervised-learning 11 arduino 11 writing 11 elixir 11 fpga 11 swift-library 11 test-automation 11 machine-learning-algorithms 11 reading-list 11 in-context-learning 11 embedded-systems 11 compliance 11 drone 11 3d-reconstruction 11 few-shot-learning 11 cvpr 11 point-cloud 11 classification 10