Skip to content

Drop Aisles MCPs My tools

Digital tools, checked against the public record.

Shelf Drop Aisles MCP tools My tools Coverage About Privacy Developers

llms.txt llms-full.txt OpenAPI MCP Follow via RSS Sitemap robots.txt

© 2026 Toolshelf. Your tools stay on this device.

Casimir SAT Solver · Toolshelf

Casimir SAT Solver

Code with AI Manage code

Casimir SAT Solver

A boolean satisfiability solver inspired by quantum field theory concepts.

CategoriesDev

Why it made the shelf

It is a developer tool for solving SAT problems using a novel algorithm inspired by physics.

Seen on

Hacker News

First seen: 11 months ago
Best score: 4 points · 1 comments

Visit sethuiyer.github.io

Suggest a correction

Best matches

OakDirect alternative
RecallDirect alternative
JSX ToolDirect alternative

Public trail

Where it showed up

1 reference from 1 publisher.

First trace: Hacker News11 months ago
Discussion: 1 comments

01Hacker News
11 months ago
First trace
I Built a SAT Solver Inspired by Quantum Field Theory and It Works
4 points · 1 commentsOpen thread on hackernews

3 tools

More for this job

Compare Browse Dev

ctx
Search through the coding agent history stored locally on your machine.
NanoEuler
A GPT-2 scale language model implemented in pure C and CUDA from scratch.

Nimic

Use pure Python as a systems language with ahead of time compilation.