Skip to content

alberto743/satif16

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

8 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

The purpose of this repository is to provide different implementations of the 2-slab attenuation problem, showing the effects of software design choices of the compiled language part to the bindings and the states available in the high-level user interface.

About

Sample test case shown at SATIF-16 conference

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published