You are invited to submit an instance to our LOGOPTIMIZE server using the form below. You simply have to upload the input file that contains its definition. It is very important that you follow the instructions given in the articles “The Input Format“ and “Limitations” and then supply a file in one of the following forms:
- plain ASCII file with extension .txt in the name, or
- zipped (single) ASCII file with extension .zip, or
- gzipped ASCII file with the extension .gz.
The result will be sent to the address you will supply in the form.
We are planning to collect all the interesting instances that are submitted to the server. Moreover, we would like to set up a showcase of interesting real-world problems that are approached with the help of logic optimization. To this end, we ask you to tell us as many details as possible about your instance and about the real-world application it comes from.
Of course, you will receive the appropriate credit wherever the instance you supplied is mentioned on this web site. If to the contrary, you prefer to remain anonymous or if the data that you supply have to be kept confidential, please specify so in the description field of the form.
Unless specified otherwise in the description field of the form, by pressing the submit button below you grant we.logoptimize.it the rights to use the instance and its associated description anywhere in this web site.
we.logoptimize.it is in no case responsible for any use made of the results of the optimization process that you receive via e-mail upon the instance submission through the form below.