Header banner
Revain logoHome Page
imandra logo

Imandra Review

3

Β·

Very good

Revainrating 4.5 out of 5Β Β 
RatingΒ 
4.7
Artificial Intelligence, AI and Machine Learning Operationalization

View on AmazonView on Π―M

Description of Imandra

Imandra is a cloud-native automated reasoning engine for analysis of algorithms bringing unprecedented rigor and automation to algorithm design and governance.

Reviews

Global ratings 3
  • 5
    2
  • 4
    1
  • 3
    0
  • 2
    0
  • 1
    0

Type of review

Revainrating 4 out of 5

Easy to integrate and reliable continuous integration

The tool can be used with Java, Scala or Clojure so it's easy if you know these languages already but we also have users that don't use them at all who like using our product because they are familiarized by other tools in their language (such as C#). It would benefit us more from having some support for Kotlin which I believe there was an issue recently where this didn’t work properly anymore though maybe things improved since then? But generally speaking everything works just fine! Nothing…

Pros
  • It is easy to use if you already have some experience with Java or Scala and also the docs are easy to follow
Cons
  • Sometimes there's a lack of testing before changes are deployed and it's hard to know what kind of changes were made in

Revainrating 5 out of 5

A very useful tool for the job of LISP, and a little bit more

The ease with which we can manage our own model in order to prove properties, or disprove them as well! It's fast and easy too boot. We have used it mainly for proving/disproving loop invariants (LIs). There are no other tools that I know about like this one; so far its pretty much what you need if you're looking at implementing LISP into your code base. Nothing specific comes up when using this tool but maybe some familiarity will help? Do not make assumptions regarding how familiar others…

Pros
  • Great UI &amp support is fantastic!! This product has all i needed plus more..A great place where engineers spend time working out bugs by defining constraints over these buggy parts..and then fixing those issues quickly without wasting hours just doing manual testings !!!! A good thing from me.I'm satisfied..i've got nothing negative here...just recommend people should get holdofthis software ASAP....it works
Cons
  • It is hard to say

Revainrating 5 out of 5

Data Scientist loves IBM OpenSpark - easy and scalable for BI purposes

The capability to run large scale analytics without having any knowledge about Hadoop or Apache Spark, has been great experience with this tool! Nothing really that I disliked so far but would be nice if there was some documentation available like the other tools from Red Hat are providing in terms of tutorials, guides etc., which will increase their adoption rate by end users as well. It's good option when you have limited resources where it might not possible/possible cost effective way to…

Pros
  • Easy deployment
  • No additional installation needed for running queries over database tables
Cons
  • There are troubles