Comments (4)
pruemmer
commented on August 26, 2024
1
This was indeed a bug: a corner case in which Princess first determined
that the input formula is quantifier-free (because the quantifiers just
encode divisibility), but later preprocessing changed the formula in
such a way that it contained "proper" quantifiers. This should now be
fixed on master, and in the web interface!
from princess.
qOEJXOT4
commented on August 26, 2024
@pruemmer Thanks for fixing the bug. I am using princess as a Java Library and need the fixed version of princess for referencing it as a dependency in my project. Unfortunately I was unable to mvn install princess myself.
I did use the scripts from https://central.sonatype.com/artifact/io.github.uuverifiers/princess-parser_2.12/2023-04-07/overview and removed the <scm>-tag in order to use the files of the local cloned repository.
Maven clean install resulted in [WARNING] JAR will be empty - no content was marked for inclusion! though.
Can you please tell me how to mvn install princess by using the cloned version of the project?
If this is not possible, then publishing the newest version to maven central would help me aswell.
from princess.
pruemmer
commented on August 26, 2024
I'm planning to publish the next release on Maven central next week.
In the meantime, could you use the version published on our local server?
http://logicrunch.research.it.uu.se/maven/uuverifiers/princess_2.11/
The pom.xml entries for this should be something like:
<dependencies>
<dependency>
<groupId>uuverifiers</groupId>
<artifactId>princess_2.11</artifactId>
<version>2023-05-27</version>
</dependency>
</dependencies>
<repositories>
<repository>
<id>uuverifiers</id>
<name>uuverifiers</name>
<url>http://logicrunch.research.it.uu.se/maven/</url>
</repository>
</repositories>
from princess.
qOEJXOT4
commented on August 26, 2024
Thank you for the quick response. This worked for me.
from princess.
Related Issues (8)
- Unsoundness with quantifiers and ADTs HOT 2
- No model despite +model HOT 4
- Inconsistant cast
- Effect of option [+-]dnfConstraints HOT 6
- Model evaluation for rational theory is incomplete and does not simplify terms
- Model evaluation for rational theory crashes in MatchError
- [Ostrich] String theory crashes when solving query with STR_LESS_EQUAL HOT 3
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from princess.