[bddbddb-devel] where to find fielddomains.pa ?

[Su Z. <wes...@gm...>]

Hi there,

I downloaded the bddbddb jar file and example datalog input at the official
page. However, while I was running the tool, I got the following error
script. It claims that fielddomains.pa  couldn't be found. However, I
couldn't find the file online.  Could anyone help me out of this trouble?

$ java -jar bddbddb-full.jar input.P
Initializing BDD library (500000 nodes, cache size 125000, min free 0.2%)
buddy.dll is in use, linking temporary copy
/var/folders/gZ/gZFalIWIGEuJUksAjy8KRU+++TM/-Tmp-/buddy2480215492501851966.dll
Could not load BDD package buddy:
/private/var/folders/gZ/gZFalIWIGEuJUksAjy8KRU+++TM/-Tmp-/buddy2480215492501851966.dll:
no suitable image found.  Did find:
/private/var/folders/gZ/gZFalIWIGEuJUksAjy8KRU+++TM/-Tmp-/buddy2480215492501851966.dll:
mach-o, but wrong architecture
Using BDD library JFactory 1.20
No machine learning library found, learning disabled.
Opening Datalog program "input.P"
Exception in thread "main" java.io.FileNotFoundException:
fielddomains.pa(No such file or directory)
    at java.io.FileInputStream.open(Native Method)
    at java.io.FileInputStream.<init>(FileInputStream.java:106)
    at java.io.FileInputStream.<init>(FileInputStream.java:66)
    at java.io.FileReader.<init>(FileReader.java:41)
    at net.sf.bddbddb.Solver.parseDirective(Solver.java:729)
    at net.sf.bddbddb.Solver.parseDatalogLine(Solver.java:631)
    at net.sf.bddbddb.Solver.readDatalogProgram(Solver.java:613)
    at net.sf.bddbddb.Solver.load(Solver.java:365)
    at net.sf.bddbddb.Solver.load(Solver.java:361)
    at net.sf.bddbddb.Solver.main2(Solver.java:448)
    at net.sf.bddbddb.Solver.main(Solver.java:1966)



thanks,

-- 
Su Zhang
Ph.D Candidate
Computing and Information Sciences
Kansas State University