Popular GitHub Repositories for Sat

An open-source AI framework for developers and entrepreneurs. Deploy in minutes. Use its visual DIY interface to build native AI apps with full monetization (marketing, billing, payment) — zero code needed. User-friendly for non-tech users.

DPLL(T)-based Verification tool for DNNs

We propose a Seed-Augment-Train/Transfer (SAT) framework that contains a synthetic seed image dataset generation procedure for languages with different numeral systems using freely available open font file datasets

Beat the wumpus is a small artificial intelligence project based on game theory and propositional logic with a SAT solver in python

Verifying decision tree ensembles using propositional satisfiability

Using Anthropic's Claude 3 Opus to solve SAT problems with symbolic tool use.

SAT-Landforms-Classifier is an image classification vision-language encoder model fine-tuned from google/siglip2-base-patch16-224 for a single-label classification task. It is designed to classify satellite images into different landform categories using the SiglipForImageClassification architecture

Applying Meta-Heuristics and Evolutionary methods ( Genetic Algorithm, Particle Swarm Optimization ) on MAX-3-SAT problem.

✍️ AI-powered essay evaluator using Gemini API – grades IELTS, TOEFL, GRE, SAT & academic essays ?

Here are some scientific programing code. quick-sort, Max-Sat, 3-k Partition, k-D tree, search greedy using immperative, objected oriented and structured, funcional and procedural programming language paradgms

Generating adversarial examples for classification tasks with a SAT solver