Skip to content

Latest commit

 

History

History
20 lines (13 loc) · 824 Bytes

README.md

File metadata and controls

20 lines (13 loc) · 824 Bytes
Raw

COMSOC-multi-winner-SAT

Repository for the 2019 ILLC COMSOC project "Advanced topics in Computational Social Choice"

To use

  1. Make sure all dependencies are installed
  2. At the top of helperfunctions.py, change the parameters k, n, and m to their desired values
  3. At the bottom of main.py, uncomment all axioms you want to use
  4. Run main.py. It should work for either python2 or python3, but not arbitrarily old versions of 2. Regardless, using python3 should at this point be the default.

Dependencies

All dependencies installable through pip install

  1. tqdm (pip install tqdm)
  2. Lingeling (pip install pylgl)

Important notice:

This code comes with absolutely no guarantee of correctness. Only after reviewing a human-readable proof should results obtained from this code be trusted as absolute truth.