Re: Problem when trying to import SAT4J java class

2014-05-06 Thread Ronan BARZIC
Thank - That fixed the problem - I was using an example from "Clojure Programming" (P 328) and they didn't use square braquets - probably a typo ? Ronan On Mon, May 5, 2014 at 10:50 PM, Jason Felice wrote: > The form should be: > > (:import [org.sat4j.core Vec]) ; note the square braces. >

Re: Problem when trying to import SAT4J java class

2014-05-05 Thread Jason Felice
The form should be: (:import [org.sat4j.core Vec]) ; note the square braces. On Mon, May 5, 2014 at 3:29 PM, Ronan BARZIC wrote: > Hi, > > I'm trying to use the SAT4J java library (http://www.sat4j.org) from > Clojure. > I've create a clojure app with "lein new app sat4j-app" > > I've edited t

Problem when trying to import SAT4J java class

2014-05-05 Thread Ronan BARZIC
Hi, I'm trying to use the SAT4J java library (http://www.sat4j.org) from Clojure. I've create a clojure app with "lein new app sat4j-app" I've edited the project.clj file to : (defproject sat4j-app "0.1.0-SNAPSHOT" :description "FIXME: write description" :url "http://example.com/FIXME"; :