GitHub - j5b/ps-pc: Automatically exported from code.google.com/p/ps-pc

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 430 Commits
models		models
proofs		proofs
ConsoleOutput.hs		ConsoleOutput.hs
ConsoleOutput_test.hs		ConsoleOutput_test.hs
GlobalTests.hs		GlobalTests.hs
HelpText.hs		HelpText.hs
LICENSE		LICENSE
Main.hs		Main.hs
Model.hs		Model.hs
ModelChecker.hs		ModelChecker.hs
ModelChecker_test.hs		ModelChecker_test.hs
Model_test.hs		Model_test.hs
OutputModel.hs		OutputModel.hs
OutputModel_test.hs		OutputModel_test.hs
OutputProof.hs		OutputProof.hs
OutputProof_test.hs		OutputProof_test.hs
Parser.y		Parser.y
Parser_test.hs		Parser_test.hs
Proof.hs		Proof.hs
ProofChecker.hs		ProofChecker.hs
ProofChecker_test.hs		ProofChecker_test.hs
ProofSearch.hs		ProofSearch.hs
ProofSearch_test.hs		ProofSearch_test.hs
ProofUtils.hs		ProofUtils.hs
Proof_test.hs		Proof_test.hs
README		README
Reader.hs		Reader.hs
Reader_test.hs		Reader_test.hs
Report.hs		Report.hs
Setup.hs		Setup.hs
Signature.hs		Signature.hs
Signature_test.hs		Signature_test.hs
TestMain.hs		TestMain.hs
TestUtils.hs		TestUtils.hs
Timetable.xls		Timetable.xls
build.sh		build.sh
logbook.tex		logbook.tex
ps-pc.cabal		ps-pc.cabal
runtests.sh		runtests.sh
template.hs		template.hs

Repository files navigation

The following program is a solver for ALC a Description Logic. 
The solver determines satisfiability of a knowledge base by 
either providing a model or otherwise a proof if it is unsatisfiable.

REQUIREMENTS:
  -- GHC (>= 6.10) installed 
  -- Cabal installed
  -- Graphivz installed
  -- Latex installed
  -- Happy (parser generator) installed

INSTALLATION: 

(local)
  happy Parser.y
  runhaskell Setup.hs configure --user
  runhaskell Setup.hs build
  runhaskell Setup.hs install

(global)
  happy Parser.y
  runhaskell Setup.hs configure
  runhaskell Setup.hs build
  sudo runhaskell Setup.hs install (or equivalent)

If problems arise because happy can't be found do the following
after running "happy Parser.y":       
  mv Parser.y .parser.y

RUNNING:
ps-pc --help	
ps-pc --gamma [GAMMA] --givens [GIVENS] --mode [MODE] --output [FILE]

The order for the options doesn't matter and there are defaults options
for each. For more information run the first command.