breandan

Hey @Gruzchick/@clindbergh, thanks for the feedback, this all seems reasonable to me. If either of you do feel like implementing something, AceJump welcomes PRs! One possibility would be to chain...

[`Finder`](https://github.com/johnlindquist/AceJump/blob/master/src/main/kotlin/com/johnlindquist/acejump/search/Finder.kt) has a lot of subtle bugs. The main problem we have is ensuring there are no tag collisions. A tag collision occurs when there are multiple indices (ie. characters)...

Additional performance tests which cover representative filetypes are needed as described in #339. Test should be accompanied by a file in [`src/test/resources/`](https://github.com/acejump/AceJump/tree/master/src/test/resources) containing the editor text. This would allow us...

I have encountered a number of issues configuring this project with Gradle. First, it seems like there are two outdated artifacts on [Maven Central](https://search.maven.org/search?q=g:org.sosy-lab). For Z3, when I copy the...

Thank you for your replies. I tried both `4.8.10` and `4.8.14` using the example from @lorenzleutgeb's project: ``` implementation("org.sosy-lab:javasmt-solver-z3:4.8.10:com.microsoft.z3@jar") implementation("org.sosy-lab:javasmt-solver-z3:4.8.10:com.microsoft.z3@jar") implementation("org.sosy-lab:javasmt-solver-z3:4.8.10:libz3@so") implementation("org.sosy-lab:javasmt-solver-z3:4.8.10:libz3java@so") implementation("org.sosy-lab:java-smt:3.11.0") ``` Unfortunately, both versions returned the following...

@kfriedberger Thanks, I appreciate the info. However, I would prefer to avoid interacting with native libraries and all the FFI stuff. Shouldn't there be a way to bypass all of...

@baierd Thank you for investigating. I am not sure what the issue is, but it seems like Gradle does not like the POM format? Here is the result from running...

As advised, I tried replacing the `.` with `/`: ``` implementation("org/sosy-lab:javasmt-solver-z3:4.8.10:com.microsoft.z3@jar") implementation("org/sosy-lab:javasmt-solver-z3:4.8.10:libz3@so") implementation("org/sosy-lab:javasmt-solver-z3:4.8.10:libz3java@so") ``` This still produces the same error: ``` > Error while evaluating property 'filteredArgumentsMap' of task ':kspKotlinJvm'...

After updating the `repositories` section, it now compiles but switching the solver to Z3, produces the following error: ``` java.lang.UnsatisfiedLinkError: no z3 in java.library.path: /Users/breandan/Library/Java/Extensions:/Library/Java/Extensions:/Network/Library/Java/Extensions:/System/Library/Java/Extensions:/usr/lib/java:. at java.base/java.lang.ClassLoader.loadLibrary(ClassLoader.java:2429) at java.base/java.lang.Runtime.loadLibrary0(Runtime.java:818) at...

There are a number of interesting connections between linear algebra and graph theory, e.g. you can take [eigenvalues of graph laplacians](http://www.math.ucsd.edu/~fan/research/cb/ch1.pdf) or [invert the adjacency matrix](https://core.ac.uk/download/pdf/153558187.pdf). For a short survey...