Skip to content
#

formula

Here are 254 public repositories matching this topic...

marcogario
marcogario commented Sep 29, 2016

Our documentation lives at https://pysmt.readthedocs.io/ .

Possible ideas to improve it:

  • Try to go through the "Getting Started" section. Are all steps clear? Do you manage to run the example on your computer?
  • The Tutorials section needs formatting. The examples live in examples/ and are included using .. literalinclude:: ../examples/basic.py. It would be nice to find a better way to better
DataBrown
DataBrown commented Mar 23, 2020

Hello,

I am trying to implement your formulize tool into my platform.
I downloaded the js and css files and am using jquery to formulize my div.
Everything works fine but I'm having some issues understanding how to build those drag and drop custom elements shown in the demo.

There is little documentation as to this feature and I'm a little lost.

So here is what I don't really understand

timthelion
timthelion commented Mar 11, 2016

I'm starting to get time to look at actually slowly starting to play with repeatr. One thing that I don't 100% understand yet, is where data is stored/cached. When I scan something in, is it cached somewhere in var? What about when I run a formula? Docker, of course, stores everything in /var/ and the current recomendation for subuser that I give is to just nuke /var/ and run "subuser repair" to r

Geodesy PHP - Port of some known geodesic/math functions for getting distance from a known point A to a known point B given their coordinates. It also supports conversion between units of length, Polar position to Cartesian coordinates, and different Reference Datums.

  • Updated Nov 26, 2019
  • PHP

Improve this page

Add a description, image, and links to the formula topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the formula topic, visit your repo's landing page and select "manage topics."

Learn more

You can’t perform that action at this time.