A Scalable Approximate Model Counter

Contributing Authors: 
  • Supratik Chakraborty
  • Kuldeep S. Meel
  • Moshe Y. Vardi
Additional Credits: 
  • Lars Kotthoff

Experiment id: cp2013-CMV

This experiment are results presented in the following paper in the proceedings of CP 2013, edited by Christian Schulte,
published by Springer.

A Scalable Approximate Model Counter, by
Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi

Note: the experiment id and url contained here are not persistent and are subject to change

Recomputation Downloads

  • Vagrant Box. Approx 1.2GB.
    Note that this file is actually a tarfile containing VirtualBox files so may also be used directly with VirtualBox. All code in this machine is open source except for VirtualBox Guest Additions, which are included in binary form.
    • md5sum 4c4325c226f0d03e7d5e14804621c6bd

Quick Instructions for running

These instructions should work in a unix-like system with vagrant and VirtualBox installed.

The URL to obtain the Vagrant box for this experiment is

mkdir anydir
cd anydir
vagrant init cp2013-CMV http://recomputation.org/cp2013/CMV/recomputation-cp2013-CMV.box
vagrant up

This should run the experiment and create a new results directory in the current directory.
It will leave a virtual machine running. When this has finished enter

vagrant halt

which will stop the virtual machine (but leave a copy of it on your system.)

Further Instructions

General instructions for installing and running experiments from recomputation are contained on a general page. We also give further instructions on e.g. removing a box or repackaging it after you make changes.

The experiment will run automatically when the box is started by “vagrant up”. To disable this use this command instead

vagrant up --no-provision