Loading public business profile
Reading the canonical Directory record.
Business profile unavailable
The public record could not be loaded.
Public Directory
Public business profile
Business profile
Loading canonical business information.
Business profile
About
No public description is available.
Talk to the business
Request a quote
Loading quote availability…
Classification
0
Categories
Public offering
0
Services
Public offering
0
Products
Agentic access
0
Published agent capabilities
Capabilities recorded in this listing. Their presence is not a live availability check.
Coverage
0
Service areas
For people, developers and AI
Public information
AI-readable discovery
Read the structured business information and inspect the published discovery documents.
Machine-readable documents do not by themselves establish a live AI agent, checkout or business ownership.
Public evidence
0
Sources
Public Directory policy
One canonical business record, many useful public signals.
This page presents the current public Directory profile. Registry verification, business ownership, crawler evidence and agent capabilities remain separate signals rather than being collapsed into one vague “verified” badge.
Structured public business summary
MiniSat Page
MiniSat Page by Niklas Eén, Niklas Sörensson Main MiniSat MiniSat+ SatELite Papers Authors Links Introduction MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT. It is released under the MIT licence, and is currently used in a number of projects (see "Links"). On this page you will find binaries, sources, documentation and projects related to MiniSat , including the Pseudo-boolean solver MiniSat+ and the CNF minimizer/preprocessor SatELite .
Sweden
Categories
- Other Businesses & Services (primary)
Service areas
- Sweden
Public contacts
- Public email: minisat@googlegroups.com
- github: http://github.com/niklasso/minisat
Directory status
Registry verification: Not Registry Verified
Directory score: 74