Uniform Random k-SAT Generator Files

Brought to you by: adrianopol

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
UnifKSATGenerator.zip	2012-12-18	16.9 kB	0
Totals: 1 Item		16.9 kB	0

Other Useful Business Software

Cut Data Warehouse Costs by 54%

Easily migrate from Snowflake, Redshift, or Databricks with free tools.

BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.

Start Free

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

Uniform Server
A free lightweight Windows Apache MySQL and PHP Server Solution.
Hardware Random Number Generator
Hardware random number generator based on oscillator jitter
XML-SAT
A modular SAT solver based on Minisat. The modules are described in XML-files, which are processed by a perl script; thus generating n-solvers.
Uniform Renamer
Uniform Renamer is a batch file renamer aiming at reformatting Japanese manga files. It can reorder the information, converge similar terms and thereby unifying filenames towards one format. It is however not designed for numbering files.
SAT-Assembler
Scalable and accurate targeted gene assembly for large-scale NGS data