aspmt Files

Computes ASPMT theories

Brought to you by: joolee5, mjbartho, ywang485

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
Aspmt2smt System Files	2014-11-03		0
Aspmt2smt Examples	2014-07-26		0
Mvsm System Files	2014-05-27		0
Mvsm Examples	2014-05-27		0
Totals: 4 Items			0

Other Useful Business Software

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Build Data Resilience - Take the Assessment Today

Can you recover when it matters most? Take this quick assessment to identify gaps and build greater recovery confidence.

Is your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.

Take the Assessment

Recommended Projects

C-IL2P
Original C-IL2P
Potassco
Potassco, the Potsdam Answer Set Solving Collection bundles tools for Answer Set Programming developed at the University of Potsdam, among them, the answer set solver clasp, the grounder gringo, and their combination clingo.
Autograd
Efficiently computes derivatives of numpy code
precompiled toolchains
I compile toolchains for who doesn't have time to compile the toolchain
Stratagem Model Checker
Stratagem Model Checker