Uniform Random k-SAT Generator

Brought to you by: adrianopol

Add a Review

Downloads: 0 This Week

Last Update: 2016-06-21

Download

Get an email when there's a new version of Uniform Random k-SAT Generator

A Java based generator for uniform random k-SAT problems.

Project Activity

See All Activity >

Follow Uniform Random k-SAT Generator

Uniform Random k-SAT Generator Web Site

Other Useful Business Software

Train ML Models With SQL You Already Know

BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.

Try Free

Rate This Project

User Reviews

Be the first to post a review of Uniform Random k-SAT Generator!

Additional Project Details

Registered

2012-12-18

Report inappropriate content

$300 Free Credits to Build on Google Cloud

New to Google Cloud? Get $300 in credits to explore Compute Engine, BigQuery, Cloud Run, Gemini Enterprise Agent Platform, and more.

Start your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.

Claim $300 Free

Recommended Projects

Uniform Server
A free lightweight Windows Apache MySQL and PHP Server Solution.
Random Wordlist Generator
Generate random wordlist to test your passwords' security
Random Integer Number Generator
A small random number generator in C# formerly known as RGN
S-SAT - Sapienza SAT
During a course at University "La Sapienza" in Rome I developed a fully working SAT solver based on unit propagation and backtracking; it can read DIMACS files and process cnf formulas of any length(there are no restrictions on the number of literals).
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.