Nigma Files

A CDCL SAT solver with partial backtracking

Status: Beta

Brought to you by: cjiang1209

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

Name	Modified	Size
nigma-1.2.tar.gz	2015-11-04	29.4 kB
nigma-1.1.tar.gz	2015-10-02	26.5 kB
nigma-1.0.tar.gz	2014-04-22	25.6 kB
Totals: 3 Items		81.6 kB

Other Useful Business Software

Secure File Transfer for Windows with Cerberus by Redwood

Protect and share files over FTP/S, SFTP, HTTPS and SCP with the #1 rated Windows file transfer server.

Cerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.

Try for Free

AI-powered service management for IT and enterprise teams

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.

Try it Free

Go From AI Idea to AI App Fast

One platform to build, fine-tune, and deploy ML models. No MLOps team required.

Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.

Try Free

Recommended Projects

Fast Sudoku Solver
C source for a fast backtracking Sudoku solver.
re2
Alternative to backtracking regular expression engines
RSAT
A script to perform SAT attacks on RSA
VoronoiFVM.jl
Solution of nonlinear multiphysics partial differential equations
Gestao financeira
Software comercial iCom pdv, sat nfce nfe

Nigma Files

A CDCL SAT solver with partial backtracking

Get an email when there's a new version of Nigma