Month: July 2019

Advanced Tutorial: Encoding LSAT Questions

In this tutorial, we will show you how to use Blawx to solve complicated reasoning problems. To provide lawyers and law students with an example they may be familiar with, we are going to encode a question from the practice LSAT online. If you want to go to the Blawx live demo, and try the …

Tutorial: Encoding Rock Paper Scissors in Blawx

This tutorial shows you how the four-stage Blawx encoding process works for a very small example of a game of Rock, Paper, Scissors (also known as Rochambeau, and in certain mighty circles as Boulder, Parchment, Shears) . The encoding process (whether for laws, regulations, contracts, or board games) involves four stages. First, you tell Blawx …

Known Issue: Windows Edge Compatibility

We have received reports that in some circumstances the save workspace button in the demo is not responding in Windows Edge. We are working on a fix. Thanks for your patience.

Huge New Blawx Features: Save to and Load from file, Aggregates, more…

Big news. Saving and Opening Blawx Workspaces You can now save your work in the live demo of Blawx to a file on your local device, and load a workspace from a file on your device. This is a hugely important feature in order to let people use Blawx to solve real-world sized problems, so …

Known Issue: Changes in Declarations Not Reflected in Selectors

Right now, if you create an object with an object declaration block, to say “Socrates is an object”, it will create a “Socrates” object block in the “Known Objects” section of the toolbox. If you drag the “Socrates” object block into the workspace, and then edit the object declaration block to read “Plato”, the “Socrates” …

Update: Blawx Alpha Now Saves Your Work

In order to be able to get at the power of Blawx, it’s important to be able to stop working on your code and come back to it later. We are planning on implementing a more full-featured save and load functionality in the future, but in order to give users something useful in the short …

Blawx Featured in “Logic for Legislative Drafters”

Matthew Waddington (@mattwadd on Twitter) is a legislative drafter from Jersey, Channel Islands, who gave a presentation on formal logic as a tool for legislative drafters to a mini conference of parliamentary counsel (people who write laws) in the UK. Blawx is included as one of the tools that shows how you can bring formal …