An ATMS-based implementation of requirements solution finding.
Common Lisp Python
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
examples
LICENCE
README
convert_omni_seb.py
drive_seb.py
gen_rnet.py
gpl-3.0.txt
pci-chelsea.graffle
psm-graph.lisp
settings.py
techne-atms.lisp
techne-psm.lisp

README

# Files relating to Techne solution finding.
- convert_omni_seb.py - Takes an Omnigraffle file and turns it into input for Sebastiani GoalSolve and ATMS (.techne) files
- drive_seb.py - Driver for the converter
- pci-chelsea.graffle - Example from the CAISE 2012 paper


Copyright 2010 Neil Ernst. Licenced under GPL v3, with the exception of file techne-atms.lisp, which has the following licence/copyright:

Copyright (c) 1986-1993 Kenneth D. Forbus, Johan de Kleer and Xerox
Corporation.  All Rights Reserved.

Use, reproduction, and preparation of derivative works are permitted.
Any copy of this software or of any derivative work must include the
above copyright notice and this paragraph.  Any distribution of this
software or derivative works must comply with all applicable United
States export control laws.  This software is made available as is, and
Kenneth D. Forbus, Johan de Kleer and Xerox Corporation disclaim all
warranties, express or implied, including without limitation the implied
warranties of merchantability and fitness for a particular purpose, and
notwithstanding any other provision contained herein, any liability for
damages resulting from the software or its use is expressly disclaimed,
whether arising in contract, tort (including negligence) or strict
liability, even if Kenneth D. Forbus, Johan de Kleer or Xerox
Corporation is advised of the possibility of such damages.