Trending tags: ai  github.com  rust  linux  apple  psychology  microsoft  go  health  theguardian.com  environment  trump  brain  psypost.org  arstechnica.com  show  video  nature.com  vibecoding  web 

The sharpSAT #SAT Solver

5 years ago sites.google.com

Related Stories

Constraint-Based Batch Sudoku Solver

7 days ago github.com

The Hat, the Spectre and SAT Solvers (2024)

11 days ago nhatcher.com compsci math

Built a Python solver for dynamic mathematical expressions stored in databases

7 days ago reddit.com database python

Achieving Human Level Competitive Robot Table Tennis

54 days ago sites.google.com

Be Careful of Your UDP Service: Preauth DoS on Windows Deployment Service

51 days ago sites.google.com windows

An Asia Internet History: First Decade (1980-1990)

37 days ago sites.google.com historical networking

A SomewhatMaxSAT Solver

30 days ago blog.jak-linux.org

Sudoku Solver in Rust Type System🦀

29 days ago reddit.com rust

Yahtzeeql – Yahtzee solver that's mostly SQL

40 days ago github.com sql

Using SAT to Get the World Record on LinkedIn's Queens

27 days ago ryanberger.me compsci math

College Board Keeps Apologizing For Screwing Up Digital SAT and AP Tests

32 days ago arstechnica.com

It's not cheating if you write the video game solver yourself

48 days ago robertheaton.com game video

New Life Hack: Using LLMs to Generate Constraint Solver Programs for Personal Logistics Tasks

39 days ago emschwartz.me formalmethods llm vibecoding

An anonymous worker has been signed off with trauma leave since the power went out and she sat there, alone, unable to see the planes

33 days ago thetimes.com anonymous

The Early History of Deferred Shading and Lighting

3 months ago sites.google.com

knapsack solver

3 months ago reddit.com python

Microsoft Math Solver

3 months ago mathsolver.microsoft.com math microsoft

3sat solver by simulating ODEs

2 months ago reddit.com

Satisfiability problem solver in pure Python

3 months ago reddit.com python

Question About Fooling the Verifier in Interactive Proofs for #SAT

2 months ago reddit.com

Chinese Hackers Sat Undetected in Small Massachusetts Power Utility for Months

3 months ago pcmag.com china security

Making a Quartiles word game solver in Rust

3 months ago reddit.com game rust

I made a Polyominoes (tile-laying puzzles) solver. I can't seem to find any similar solver that are easy to use and/or allow custom pieces.

3 months ago github.com

It's not cheating if you write the video game solver yourself

3 months ago robertheaton.com compsci game video

Problem: "Give a largest subset of students without enemy in the subset" solver

3 months ago reddit.com python

Wordle Solver

4 months ago reddit.com go

Eigen and ceres-solver equivalents in Rust?

4 months ago reddit.com rust

Clang Static Analyzer and the Z3 constraint solver (2022)

4 months ago cambus.net

SAT Solver Etudes I

5 months ago philipzucker.com

Capablanca: Minimum Vertex Cover Solver

4 months ago pypi.org