Solve XCSP problem with Oscar CP solver

27 views
Skip to first unread message

Gottfried Schenner

unread,
Jan 29, 2019, 8:51:20 AM1/29/19
to OscaR
Hi,
Is there an example, how to run the Oscar CP solver with an XCSP3 File?

KR Gottfried

PS: 
I found the parser in the oscar-cp-xcsp3 jar file, but was not able to find an easy API call.
I guess my Scala skills are too limited for this ;-).


charles...@uclouvain.be

unread,
Jan 29, 2019, 12:12:15 PM1/29/19
to OscaR
Hi,

Here is an example on how to parse an XCSP3 instance and solve it with OscaR.

Best regards,

Charles
SolveXCSP3Instance.scala

Gottfried Schenner

unread,
Jan 30, 2019, 6:03:38 AM1/30/19
to oscar...@googlegroups.com
It works. Thank you very much!

KR Gottfried

--

---
You received this message because you are subscribed to a topic in the Google Groups "OscaR" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/oscar-user/8xx_c1Amjo8/unsubscribe.
To unsubscribe from this group and all its topics, send an email to oscar-user+...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Reply all
Reply to author
Forward
0 new messages