Welcome to My Script Page

This page contains links to a number of scripts I've written in recent years. These scripts have been used in different settings: in my research work, for running experiments, for extracting data from experiments or for interfacing different tools, and in courses I've taught. Most (if not all) are written in Perl.

Formats

Scripts for handling different formats, for translating between formats and for extracting stats regarding problem instances in different formats.

Utilities

Different script utilities.

CGIs

A few CGIs I've written in Perl. These have been used as examples in courses I taught.

SAT Scripts

Scripts that have been used for benchmarking different SAT solvers.

Example Scripts

Perl scripts I've used in lectures on the Perl language.

Bank Loans

Perl & Javascript scripts I use to compute monthly payments (and other information) on bank loans.

Formats

blif2cnf

A BLIF to CNF translator. This script accepts one or more files in BLIF format and converts each one to CNF format (proposed for the 1993 DIMACS challenge on SAT).

iscas2cnf

An ISCAS'89 to CNF translator. This script accepts one or more files in ISCAS'89 format and converts each one to CNF format (proposed for the 1993 DIMACS challenge on SAT).

iscas2blif

An ISCAS'89 to BLIF translator. This script accepts one or more files in ISCAS'89 format and converts each one to BLIF format.

miter

Script for creating a MITER given two circuits described in ISCAS'89 format. This script is useful for equivalence checking purposes.

cnf2lp

Script for translating instances of SAT (in CNF format) into LP format (used by the linear programming solver lp-solve).

cnf2pbf

Script for translating instances of SAT (in CNF format) into PBF format (used by the BCP solver bsolo).

cnf2prime

Script for creating a BCP instance (in PBF format) for computing the minimum-size prime implicant of a Boolean function (in CNF format).

bcp2pbf

Script for translating instances of BCP (in the BCP format used by the BCP solver Scherzo) into PBF format (used by the BCP solver bsolo).

pbf2bcp

Script for translating instances of BCP in PBF ormat (used by the BCP solver bsolo) into BCP format (used by the BCP solver scherzo).

pbf2cnf

Script for translating instances of BCP in PBF format (used by the BCP solver bsolo) into CNF format.

pbf2lp

Script for translating instances of BCP in PBF format (used by the BCP solver bsolo) into LP format (used by the linear programming solver lp-solve).

pbf2opb

Script for translating instances of BCP in PBF format (used by the BCP solver bsolo) into OPB format (used by the pseudo boolean solver opbdp).

Utilities

ttab

A LaTeX table editor. This script allows scripts to be written, which in turn can be used for addiging entries, rows or columns to a table description which can be output in LaTex format.

CGI

sim-loan

This script allows computing the monthly payment for a bank loan. (This script is only useful if you bought a house in Portugal and have a mortgage on the house.) You may want to test it (but it is in portuguese).
BTW: the following page page has links to Javascript scripts that have similar functionality but run faster (since they run on the client side).