Potassco - Browse /claspD/1.1.2 at SourceForge.net

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
Parent folder
claspD-1.1.2-x86-linux.tar.gz	2012-06-03	683.4 kB	0
claspD-1.1.2-x86_64-darwin10.tar.gz	2012-02-15	203.6 kB	0
README	2012-01-09	270 Bytes	0
claspD-1.1.2-win32.zip	2012-01-09	383.8 kB	0
claspD-1.1.2.tar.gz	2012-01-09	132.2 kB	0
Totals: 5 Items		1.4 MB	0

claspD 1.1.2: Mon January 9, 2012
 * changed default decision heuristic of checker from "none" to "vsids"
 * added options for setting decision heuristic, restarts, and deletion
   for checker solver
 * added option "--verbose" for reporting status of checker solver

Source: README, updated 2012-01-09

You Might Also Like

Red Hat Ansible Automation Platform on Microsoft Azure

Red Hat Ansible Automation Platform on Azure allows you to quickly deploy, automate, and manage resources securely and at scale.

Deploy Red Hat Ansible Automation Platform on Microsoft Azure for a strategic automation solution that allows you to orchestrate, govern and operationalize your Azure environment.

Learn More

Event Management Software

Ideal for conference and event planners, independent planners, associations, event management companies, non-profits, and more.

YesEvents offers a comprehensive suite of services that spans the entire conference lifecycle and ensures every detail is executed with precision. Our commitment to exceptional customer service extends beyond conventional boundaries, consistently exceeding expectations and enriching both organizer and attendee experiences.

Learn More

Potassco Files