Abacus Formula Compiler 1.2.0 (Default branch)

Tags

Special Forums News, Links, Events and Announcements Software Releases - RSS News Abacus Formula Compiler 1.2.0 (Default branch)

11-05-2008

Registered User

26,240, 27

Join Date: Sep 2000

Last Activity: 1 August 2008, 3:09 PM EDT

Posts: 26,240

Thanks Given: 0

Thanked 27 Times in 26 Posts

Abacus Formula Compiler 1.2.0 (Default branch)

The Abacus Formula Compiler (AFC) compilescomputations defined in spreadsheet files directlyto Java byte code. Users can thus customize anapplication using Excel or OpenOffice Calc. AFCcompiles against your own Java interfaces toobtain input values and compute output values (itessentially generates strategy implementations foryou), and supports internal computations witheither double or BigDecimal (for financialapplications).License: GNU General Public License v3Changes:
This release adds support for spreadsheets in theMicrosoft Office Open XML .xlsx (MS Excel 2007)format. It also contains minor improvements andbugfixes.

More...

Linux Bot

View Public Profile for Linux Bot

Find all posts by Linux Bot

Previous Thread | Next Thread

LEARN ABOUT DEBIAN

clausefilter

CLAUSEFILTER(1) 					      General Commands Manual						   CLAUSEFILTER(1)

NAME

       clausefilter - filter formulas with models

SYNOPSIS

       clausefilter <interpretations-file> <test> < <formulas-file> > <passing-formulas-file>

DESCRIPTION

       This manual page documents briefly the clausefilter command.

       Given a set of interpretations, a test to perform, and a stream of formulas, clausefilter outputs the formulas that pass the test.

TESTS

       The following tests are available.

       true_in_all
	      Formula true in all interpretations.

       true_in_some
	      Formula true in some interpretation.

       false_in_all
	      Formula false in all interpretations.

       false_in_some
	      Formula false in some interpretation.

SEE ALSO

       prover9(1), mace4(1).
       Full  documentation  for  clausefilter  is  found  in  the  prover9  manual,  available	on  Debian  systems  in the prover9-doc package at
       /usr/share/doc/prover9-doc/manual/index.html.

AUTHOR

       clausefilter was written by William McCune <mccune@cs.unm.edu>

       This manual page was written by Peter Collingbourne <peter@pcc.me.uk>, for the Debian project (but may be used by others).

								 January 20, 2007						   CLAUSEFILTER(1)