3SAT Instance Generator
Generate a reproducible Boolean 3SAT instance as JSON.
Description
Generate reproducible Boolean 3SAT clauses with distinct variables per clause.
3SAT Instance Generator: Generate reproducible Boolean 3SAT clauses with distinct variables per clause.
When to use 3SAT Instance Generator
Use this generator to create a reproducible identifier or a controlled optimization instance for examples, benchmarks, solver tests, and algorithm comparisons.
- Variable count
- Required integer input.
- Clause count
- Required integer input.
- Seed
- Required string input.
How 3SAT Instance Generator works
Generate reproducible Boolean 3SAT clauses with distinct variables per clause. The tool evaluates the supplied inputs together and returns the named outputs below; it does not infer omitted operating conditions or change the units shown.1
- Instance
- The resulting instance returned as an object.
Limitations and assumptions
- Generated instances reflect the chosen distribution, size, density, and seed; they may not resemble operational data or cover adversarial cases. A generated UUID's properties depend on its version and random source.
- Use finite inputs in the displayed units and preserve more precision than the final presentation requires. Independently verify safety-critical, financial, compliance, or production decisions.
Alternative or Complementary approaches
Record the seed and parameters, test multiple distributions and edge cases, and include representative real-world instances when evaluating solver quality.
References
-
Combinatorial optimization — Wikipedia contributors
Similar or alternative tools
- 3D Bin Packing Instance Generator
Generate reproducible rectangular boxes bounded by a three-dimensional bin.
- Bin Packing Instance Generator
Generate reproducible one-dimensional bin-packing item sizes.
- Bipartite Matching Instance Generator
Generate a reproducible random bipartite graph for matching experiments.