Skip to content
/ smt Public

Rascal Spinoff Project: Satisfiability modulo Theory and Model Checking

Notifications You must be signed in to change notification settings

BertLisser/smt

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

22 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

smt

A demonstration for adding new project leaning on rascal. All you need to do is:

  • create a Rascal project
  • edit the MANIFEST to add a dependency on the rascal-eclipse plugin
  • create a plugin.xml file which mentions the rascalLibrary plugin (no attributes or parameters). The content: <extension point="rascal_eclipse.rascalLibrary"> </extension>
  • make sure the new project is active in your run-time configuration for the second level
  • start a second level
  • the project and also its Java classes will be available to Rascal console and rascal parsers. For now Rascal modules should be located always in the "src" folder

In the case of the smt project this already done. The only thing what you have to do is: import the project from repository smt.

You can solve an example sudoku by running the main van sudoku/Sudoku.rsc.

About

Rascal Spinoff Project: Satisfiability modulo Theory and Model Checking

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages