| CARVIEW |
Select Language
HTTP/1.1 301 Moved Permanently
Date: Wed, 14 Jan 2026 21:11:58 GMT
Server: Apache/2.4.58 (Ubuntu)
Location: https://www.msoos.org/ganak/
Content-Length: 316
Content-Type: text/html; charset=iso-8859-1
HTTP/1.1 200 OK
Date: Wed, 14 Jan 2026 21:11:58 GMT
Server: Apache/2.4.58 (Ubuntu)
Last-Modified: Thu, 24 Jul 2025 09:27:40 GMT
ETag: "2770-63aa96fd9b53c-gzip"
Accept-Ranges: bytes
Vary: Accept-Encoding
Content-Encoding: gzip
Content-Length: 2746
Content-Type: text/html
Ganak in your browser
Ganak Model Counter in Your Browser
Copy your CNF formula in the input box below and click "Count
Weighted" to run the counter in your browser. The output will be
displayed below the input box. Example is from article on model counting. Format
description is available here.
For polynomial weights, try "x1" or "x0+1/2*x1-x3"
Loading WebAssembly module...
Ready - enter your input and click "Count Weighted"