This program allows to deal with modular social rules.
It is an Objective Caml program, hence it needs an Objective Caml compiler.
The program is based on the algorithm described in the paper "Optimality in Social Choice" (arxiv:1004.3385 - LEM WP 2010/05).
This program has been developed under MacOSX, and it has been tested under Linux, MacOSX and Solaris, but it should run also under Microsoft Windows (if you will be able to, please tell me so that I can complete this file).
Download the archive fosor_1_1.tar.gz (or some older version).
Open a terminal (xterm, konsole, aterm, ...).
Enter the directory in which you have saved the file fosor_1_1.tar.gz (something like cd ~/Documents/).
Extract the archive fosor_1_1.tar.gz (something like tar -xzvf fosor_1_1.tar.gz).
Enter the directory in which you have extracted the archive fosor_1_1.tar.gz (something like cd ~/Documents/fosor_1_1/).
Read the README file and follow the instructions in it.
Copyright 2011 Gennaro Amendola