Advertisement
The China Problem
A great screensaver that displays images from the The China Problem episode....
Blesque HTML SEO Problem Detector for Mac
Examine website's HMTL and learn what is not optimized properly for search engines....
Boolean Search
Integrated web server and search engine....
Boolean Calculator
Boolean Calculator - A simple utility for technical informatics on university...
formula calculator calculator boolean informatics calculator boolean calculator
Boolean Icons
An extensive collection of tiny icons....
Boolean Expression Solver
Command-line utility that will generate a truth table...
Boolean Search for Mac
Index, view content, and search HTML, PDF, RTF, Word, and plain text files....
incremental-sat-solver
Simple, Incremental SAT Solving as a Haskell library...
solve solver haskell library solve incremental SAT boolean satisfiability problem