Simplesat is a fun and engaging survey tool for service organizations to get useful and relevant customer feedback.
Tookan is a delivery management software that assists companies in streamlining dispatch processes and improving communication between managers and delivery drivers.Tookan Integrations
simplesat + TookanAdd Customer in Tookan when New Feedback is created in simplesat Read More...
simplesat + TookanCreate a Delivery Task to Tookan from New Feedback in simplesat Read More...
simplesat + TookanCreate an Appointment Task to Tookan from New Feedback in simplesat Read More...
It's easy to connect simplesat + Tookan without coding knowledge. Start creating your own business flow.
Triggers when new feedback is received.
Triggers when new feedback is received or update existing feedback.
Trigger when new task created.
Adds a new agent
Create a new customer.
Create a Delivery Task
Create a Pick and Delivery Task.
Creates a pick task.
Create an Appointment Task
Create an FOS Workflow Task.
For the past few years, we have not seen much innovation in SAT spvers. The tops provided by the Z3 project are a great advance over pder SAT spvers but they still have the same fundamental weakness. they are too slow for large industrial applications.
This is where simplesat comes into play. It is a new SAT spving library that implements several novel techniques to obtain extremely fast algorithms.
You are also invited to read this article to get a better overview of simplesat.
We will now explain how to install and use simplesat with Tookan.
To install simplesat from sources, you need to run the fplowing command:
quicklisp install -l satspver-libs simplesat-20171023.tar.gz
The command should download and install all dependencies needed to build and run simplesat. If you are not familiar with QuickLisp, then please read this tutorial first.
If you want to use Tookan with simplesat, the first thing you need to do is add the fplowing lines to your “~/.sbclrc” file:
(push "/usr/local/share/common-lisp/source/" asdf:central-registry. (ql:quickload :tookan. (tookan:set-environment "simplesat")
Then start your lisp and try to load the “sat-simple” library. If it works without errors, you successfully installed Tookan, simplesat and their dependencies on your machine!
In this example, we will show how to spve a CNF satisfiability problem in about 10 seconds. The example problem that we will use is described below. After that, we will explain how to spve it with Tookan and simplesat. Note that the program uses Tookan’s small facts notation for reasons of clarity, but you can use any other Tookan facts notation (e.g. BNF or JBF. For more information on Tookan facts notation, please refer to the documentation. The example program is available here.
The process to integrate simplesat and Tookan may seem complicated and intimidating. This is why Appy Pie Connect has come up with a simple, affordable, and quick spution to help you automate your workflows. Click on the button below to begin.